Publications

Displaying results 11 to 20 of 78

In: Essays in Honor of Christoph Walther on the Occasion of his 60th Birthday. Pages 54-80 Lecture Notes in Artificial Intelligence (LNAI) 6463 Springer Verlag Berlin Heidelberg 11/2010.

To the publication

In: Journal Mathematics in Computer Science 3 3 Pages 225-226 Birkhaeuser Basle, Switzerland 3/2010.

To the publication

In: Proceedings 8th International Conference on Integrated Formal Methods (iFM 2010). International Conference on Integrated Formal Methods (IFM-2010) October 11-14 Nancy France Pages 59-73 Lecture Notes in Computer Science (LNCS) 6396 Springer 10/2010.

To the publication

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

In: THedu'11, Workshop associated to CADE-23. THedu - CTP Components for Educational Software (ThEdu-11) Conference on Automated Deduction July 31 Wroclaw Poland Pages 11-15 CISUC Technical Report 2011/001 University of Coimbra, Portugal 7/2011.

To the publication

In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10) 9th Conference on Intelligent Computer Mathematics July 8-9 Paris France Pages 398-410 Lecture Notes in Artificial Intelligence (LNAI) 6167/2010 ISBN 3-652-14127-7 Springer Verlag 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: Proceedings of 10th ACM Symposium on Document Engineering. ACM Symposium on Document Engineering (DocEng-10) September 21-24 Manchester United Kingdom ACM 9/2010.

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

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