IST Logo Small

Formal Mathematics on the Web

A. Asperti ; L. Padovani ; C. Sacerdoti Coen ; I. Schena

Proceedings of the Eighth International Conference on "Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation", June 9-17, 2001, Sudak, Autonomous Republic of Crimea, Ukraine


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