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

General Information