Publikationen

In: Thomas Wassong; Daniel Frischemeier; Pascal R. Fischer; Reinhard Hochmuth; Peter Bender. Mit Werkzeugen Mathematik und Stochastik lernen - Using Tools for Learning Mathematics and Statistics. Chapter 31, Pages 437-451, Springer, 2014.

Zur Publikation

In: Matthew W. Crocker; Jörg Siekmann (Hrsg.). Resource-Adaptive Cognitive Processes. Pages 239-265, Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin Heidelberg, 2010.

Zur Publikation

In: Matthew Crocker; Jörg Siekmann (Hrsg.). Resource-Adaptive Cognitive Processes. Pages 205-237, Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin Heidelberg, 2010.

Zur Publikation

In: Matthew Crocker; Jörg Siekmann (Hrsg.). Resource Adaptive Cognitive Processes. Page 28, LNAI, ISBN 978-3-540-89407-0, Springer, 11/2009.

Zur Publikation

In: Dov M. Gabbay; John Woods. Logic from Russell to Church. Pages 195-254, Handbook of The History of Logic, Vol. 5, Elsevier, 6/2009.

Zur Publikation

In: M. Crocker; Jörg Siekmann (Hrsg.). Resource-adaptive cognitive systems. Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin - Heidelberg - New York, 2008.

Zur Publikation

In: Artificial Intelligence (AIJ), Pages 656-684, Elesevier, 2008.

Zur Publikation

International Conference on Knowledge Science, Engeneering and Management (KSEM-2007), November 28-30, Melbourne, Australia, LNCS, Vol. 4798, Springer, 11/2007.

Zur Publikation

In: Zili Zhang; Jörg Siekmann (Hrsg.). Knowledge Science, Engeneering and Management. 2nd International Conference, Proceedings. International Conference on Knowledge Science, Engeneering and Management (KSEM-07), November 28-30, Melbourne, Australia, Pages 2-9, Lecture Notes in Computer Science (LNCS), Vol. 4798, ISBN 978-3-540-76718-3, Springer, 11/2007.

Zur 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.

Zur Publikation

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