Publikation

Math-Bridge Project: Adaptation of the ActiveMath Platform

Stefan Winterstein

Europäische Kommission DFKI Documents (D) 1 2012.

Abstrakt

D11.1: Adaptation of the ActiveMath Platform

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