Publication

Math-Bridge Project: Integration of external tools

Giorgi Goguadze, Stefan Winterstein, J. Jeuring

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

Abstract

D-6.1: Integration of external tools

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