MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces

Stefano Zacchiroli

Ph.D. Student

e-mail: zack at cs dot unibo dot it

Home Page: http://www.cs.unibo.it/~zacchiro

Address: Dipartimento di Scienze dell'Informazione, Mura Anteo Zamboni 7, Bologna, Italy

Telephone number: +39 51 20 94 871

Selected Publications:

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

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