Publications

Displaying results 1 to 4 of 4

In: Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated Deduction (CADE-1986) 8th July 27-August 1 Oxford United Kingdom Pages 514-524 Lecture Notes in Computer Science (LNCS) 230 Springer 1986.

To the publication

In: Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische Artificial-Intelligence-Tagung. German Workshop on Artifical Intelligence (GWAI-86) September 22-26 Ottenstein Austria Pages 277-288 Informatik-Fachberichte 124 Springer 1986.

To the publication

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