Page 1 of 2.
Erica Melis; Andreas Meier; Jörg Siekmann
In: Artificial Intelligence (AIJ), Pages 656-684, Elesevier, 2008.
Andreas Meier; Erica Melis
In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International …
Martin Homik; Andreas Meier
In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers …
In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction …
In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning …
Seki Report, Vol. SR-01-05, 2005.
Martin Mühlenbrock; Stefan Winterstein; Eric Andres; Andreas Meier
In: Piet Kommers; Griff Richards (Hrsg.). Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications ED-MEDIA …
Andreas Meier; Erica Melis; Martin Pollet
In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 105-120, Elsevier, 12/2004.
Malte Hübner; Serge Autexier; Christoph Benzmüller; Andreas Meier
In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 161-181, Elsevier, 12/2004.
Erica Melis; Andreas Meier; Martin Pollet
In: A. Asperti; G. Bancerek; A. Trybulec (Hrsg.). Proceedings of Third International Conference on Mathematical Knowledge Management (MKM2004). …