Publikation

Computer Supported Formal Work: Towards a Digital Mathematical Assistant

Jörg Siekmann; Serge Autexier

In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and Rhetoric, Vol. 10 (23), University of Bialystok, 7/2007.

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