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. Kapitel 31 Seiten 437-451 Springer 2014.

Zur Publikation

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

Zur Publikation

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

Zur Publikation

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

Zur Publikation

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

Zur Publikation

In: S. Artemov , H. Barringer , A.d'Avila Garcez , L.C. Lamb , J. Woods (Hrsg.). We will Show Them! Essays in Honor of Dov Gabbay on his 60th Birthday. Seiten 639-662 2 College Publications 2005.

Zur Publikation

In: L. Rutkowski , Jörg Siekmann , R. Tadeusiewicz , L.A. Zadeh (Hrsg.). Seventh International Conference 'Artificial Intelligence and Soft Computing' (ICAISC). Artificial Intelligence and Soft Computing (ICASC) Seiten 91-101 LNAI 3070 Springer 2004.

Zur Publikation

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