IST Logo Small

Comparing mathematical provers

F. Wiedijk

Mathematical Knowledge Management, Proceedings of MKM 2003, Springer LNCS 2594, 188-202, 2003


This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:29 CET 2007.
IST Logo Small