Publikation
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.
@incollection{pub2996, author = { Siekmann, Jörg and Autexier, Serge }, editor = { Matuszewski, Roman and Zalewska, Anna }, title = {Computer Supported Formal Work: Towards a Digital Mathematical Assistant}, booktitle = {From insight to proof - Jubilee Book for Andrzej Trybulec}, series = {Studies in Logic, Grammar and Rhetoric}, year = {2007}, month = {7}, volume = {10 (23)}, pages = {231--248}, publisher = {University of Bialystok} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023