Publikationen

Zeige Ergebnisse 1 bis 2 von 2

In: Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-9) May 23-26 Argonne IL United States Seiten 517-526 Lecture Notes in Computer Science (LNCS) 310 Springer 1988.

Zur Publikation

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