Brokers and Web-Services for Automatic Deduction: a Case Study

C. Sacerdoti Coen ; S. Zacchiroli

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:21 CET 2007.