14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning [Calculemus 2007]

General Information

Conference Date: 27/06/2007 - 29/06/2007

Venue: RISC, Hagenberg, Austria