Publikation

The ActiveMath Learning Environment. System Description

Paul Libbrecht, Erica Melis, Carsten Ullrich

In: Calculemus Workshop at IJCAR. Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (CALCULEMUS) Seiten 173-177 2001.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence