Publikationen

In: Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2013) 19th December 14-19 Stellenbosch South Africa Seiten 53-70 Lecture Notes in Computer Science 8312 Springer 2013.

In: Conferences on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-13) July 8-12 Bath United Kingdom Lecture Notes in Computer Science (LNCS) Springer 2013.

In: 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18). International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18) 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning March 10-15 Merida Venezuela Seiten 92-106 Lecture Notes in Computer Science (LNCS) 7180 Springer Verlag Berlin Heidelberg 2012.

In: Mathematics in Computer Science 3 Seiten 309-330 Birkhäuser 3/2010.

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 Seiten 3-21 Electronic Notes in Theoretical Computer Science (ENTCS) 226 Elsevier Science 2009.

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 Seiten 339-354 Lecture Notes in Computer Science (LNCS) 5144 Springer 2008.

In: 6th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management (MKM-2007) June 27-30 Hagenberg Australia Seiten 161-175 Lecture Notes in Artificial Intelligence (LNAI) 4573 Springer 2007.

In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06) ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2006 October 22-26 Portland OR United States ACM Press 2006.

In: 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical Knowledge Management (MKM-2005) July 15-17 Bremen Germany Seiten 65-80 Lecture Notes in Artificial Intelligence 3863 ISBN 978-3-540-31430-1 Springer Berlin, Heidelberg 2005.