|
Proceedings of Calculemus 2003 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (in conjunction with TPHOLs 2003 and TABLEAUX 2003), Roma, Italy -- September 10-12, 2003
This page is hosted by the
Department of Computer Science,
University of Bologna.
Last updated Fri Feb 2 17:12:29 CET 2007. |
|