Publications

Displaying results 1 to 4 of 4

In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008) August 22-22 Montreal QC Canada Pages 3-21 Electronic Notes in Theoretical Computer Science (ENTCS) 226 Elsevier Science 2009.

To the publication

In: Logic from Russell to Church. Pages 195-254 Handbook of The History of Logic 5 Elsevier 6/2009.

To the publication

In: Resource Adaptive Cognitive Processes. Page 28 LNAI ISBN 978-3-540-89407-0 Springer 11/2009.

To the publication

In: Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI-09) 32nd September 15-18 Paderborn Germany Lectures Notes in Computer Science (LNCS) Springer 9/2009.

To the publication

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