Publications

Displaying results 1 to 5 of 5

In: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2007) September 10-13 Osnabrück Germany Pages 435-439 Lecture Notes in Computer Science (LNCS) 4667 ISBN 978-3-540-74564-8 Springer 9/2007.

To the publication

In: From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248 Studies in Logic, Grammar and Rhetoric 10 (23) University of Bialystok 7/2007.

To the publication

In: From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 135-150 Studies in Logic, Grammar and Rhetoric 10 (23) University of Bialystok 7/2007.

To the publication

Workshop on User Interfaces for Theorem Provers (UITP-2006) August 21-21 Seattle WA United States Electronic Notes in Theoretical Computer Science (ENTCS) 174 2 Elsevier 2007.

To the publication

In: Towards Mechanized Mathematical Assistants. International Conference on Mathematical Knowledge Management (MKM) 14th Symposium (Calcemus-2007) and 6th International Conference (MKM-2007) June 27-30 Hagenberg Austria Pages 176-190 LNAI 4573 Springer 6/2007.

To the publication

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