Publications

Displaying results 41 to 50 of 80

In: Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Pages 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

To the publication

Conferences on Intelligent Computer Mathematics (CICM-10) 10th International Conference AISC 2010, 17th Symposium Calculemus 2010 and 9th International Conference MKM 2010 Conferences on Intelligent Computer Mathematics July 5-10 Paris France LNCS (LNCS) 6167 ISBN 978-3-642-14127-0 Springer Heidelberg, Germany 7/2010.

To the publication

In: Proceedings International Conference on Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2010) July 11-14 Edinburgh United Kingdom Pages 99-114 Lecture Notes in Computer Sciences (LNCS) 6172 Springer 7/2010.

To the publication

In: Journal of Automated Reasoning (JAR) 41 3-4 Journal of Automated Reasoning Springer Netherlands 12/2008.

To the publication

In: 7th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management (MKM-2007) Conferences on Intelligent Computer Mathematics (CICM 2008) July 28-August 1 Birmingham United Kingdom Pages 339-354 Lecture Notes in Computer Science (LNCS) 5144 Springer 2008.

To the publication

In: To Appear in Proceedings of MKM 2008. International Conference on Mathematical Knowledge Management (MKM-2008) 7th July 28-30 Birmingham United Kingdom Pages 520-535 Springer Verlag 7/2008.

To the publication

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

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