Educational Technology Lab

PUBLIKATIONEN

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

Zur Publikation

In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International Conference on Mathematical Knowledge Management (MKM) Bremen Seiten 143-158 LNAI 3863 Springer Verlag, Berlin, Germany 2006.

Zur Publikation

In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers (UITP) Edinburgh Seiten 160-178 4/2005.

Zur Publikation

In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction (CADE) Tallinn Seiten 250-254 LNAI 3632 Springer Verlag, Berlin, Germany 2005.

Zur Publikation

In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning (ARW) Edinburgh 2005.

Zur Publikation

In: Piet Kommers, Griff Richards (Hrsg.). Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications ED-MEDIA 2005. World Conference on Educational Multimedia (ED-MEDIA) Montreal 2005.

Zur Publikation

In: Electronic Notes in Theoretical Computer Science 103 C Seiten 105-120 Elsevier 12/2004.

Zur Publikation

In: Electronic Notes in Theoretical Computer Science 103 C Seiten 161-181 Elsevier 12/2004.

Zur Publikation

In: A. Asperti, G. Bancerek, A. Trybulec (Hrsg.). Proceedings of Third International Conference on Mathematical Knowledge Management (MKM2004). International Conference on Mathematical Knowledge Management (MKM) Bialowieza Seiten 251-264 LNCS 3119 Springer 9/2004.

Zur Publikation

Kontakt


Tel.: +49 30 23895 0

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Educational Technology Lab

Alt-Moabit 91 C
10559 Berlin
Deutschland

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