Publikationen

Zeige Ergebnisse 1 bis 4 von 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 Seiten 514-524 Lecture Notes in Computer Science (LNCS) 230 Springer 1986.

Zur Publikation

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 Seiten 277-288 Informatik-Fachberichte 124 Springer 1986.

Zur Publikation

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