Mathematical Knowledge Management in HELM

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

Annals of Mathematics and Artificial Intelligence, Special Issue on Mathematical Knowledge Management, Vol. 38, Issue 1-3, pp. 27-46, ISSN 1012-2443, Kluwer Academic Publishers, May 2003

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