Publikationen

In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on Automated Reasoning, IJCAR-2001. International Workshop on Strategies in Automated Deduction (STRATEGIES) Siena 2001.

Zur Publikation

In: Maria Paola Bonacina, Bernhard Gramlich (Hrsg.). Electronic Notes in Theoretical Computer Science Electronic Notes in Theoretical Computer Science. 58 Elsevier Science Publishers 2001.

Zur Publikation

In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software Verification, Validation, and Certification Universitaet Kiel 2000.

Zur Publikation

In: C. Choppy, D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development Techniques (WADT) Seiten 73-88 Springer, LNCS 1827 2000.

Zur Publikation

In: International Journal on Software Tools for Technology Transfer 3 1 Seiten 66-77 Springer Berlin, Heidelberg 2000.

Zur Publikation

In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE) Trento Springer-Verlag, LNAI 1632 1999.

Zur Publikation

In: O. Herzog, A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI) Bremen Springer Verlag, LNCS 1504 1998.

Zur Publikation

In: U. Furbach, M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem Proving (FTP) Linz Australia Seiten 1-6 RISC-Linz Report Series No. 97-50 1997.

Zur Publikation

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