Publications
Page 1 of 1.
Claus-Peter Wirth
In: Logic Journal of the IGPL Oxford, Vol. 20, Oxford University Press. 12/2012.
In: Logica Universalis, Vol. 6, Pages 485-520, Springer Publishing House, 2012.
In: Journal of Symbolic Computation, Vol. 47, Pages 1109-1135, Academic Press, Elsevier, 2012.
Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier
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.
Overview
Team
Projects
News
Jobs
Prof. Dr. Niels Pinkwart
Deputy Head:Susan Beudt
Deputy in commercial-administrative matters:Michael Dietrich
edtec@dfki.dePhone: +49 30 23895 0 Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)Educational Technology LabAlt-Moabit 91 C10559 Berlin Germany