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

Wissensmodellierung und -nutzung in ActiveMath

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

KI - Zeitschrift Kuuml;nstliche Intelligenz, Vol. 1, 2003

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.