Knowledge Representation and Management in ActiveMath

E. Melis ; Budenbender, Jochen ; G. Goguadze ; P. Libbrecht ; Ullrich, Carsten

Proceedings of the First International Workshop on Mathematical Knowledge Management, Linz, Austria, Sept 24-26 2001, as a special issue of the Annals of Mathematics and Artificial Intelligence

Download: [HTML]

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