Publications

Displaying results 1 to 3 of 3

In: Electronic Notes in Theoretical Computer Science Electronic Notes in Theoretical Computer Science. 58 Elsevier Science Publishers 2001.

To the publication

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.

To the publication

In: Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering (FASE) Springer, LNCS 2001.

To the publication

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