Page 4 of 6.
Serge Autexier; Dominik Dietrich
In: Bärbel Mertsching (Hrsg.). Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence …
Sergey Goncharov; Lutz Schröder; Till Mossakowski
In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …
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.
Lutz Schröder; Till Mossakowski
In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.
Andrea Kohlhase; Michael Kohlhase
In: Christoph Lange; Jochen Reutelshöfer (Hrsg.). Wissens- und Erfahrungsmanagement: LWA (Lernen, Wissensentdeckung und Adaptivität) Conference …
In: Proceedings of the 27th annual ACM International Conference on Design of Communication. ACM International Conference on Design of Communication …
In: Proceedings of the 27th annual ACM International Conference on Design of communication. ACM International Conference on Design of Communication …
Marvin Schiller; Christoph Benzmüller
In: Bärbel Mertsching; Marcus Hund; Zaheer Aziz (Hrsg.). KI 2009: Advances in Artificial Intelligence. German Conference on Artificial Intelligence …
In: CSEDU 2009: 1st International Conference on Computer Supported Education. International Conference on Computer Supported Education (CSEDU-09), …
SEKI Working-Paper, SEKI Working-Paper, Vol. SWP-2009-01, 2009.