Publikationen

Zeige Ergebnisse 1 bis 8 von 8

In: Computational Logic. Symposium on Computational Logic 7th ESPRIT Conference November 13-14 Brussels Belgium Seiten 177-201 ESPRIT Basic Research Series 1 Springer 11/1990.

Zur Publikation

In: Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10) 10th July 24-27 Kaiserslautern Germany Seiten 178-192 Lecture Notes in Artificial Intelligence (LNAI) 449 Springer Berlin - Heidelberg 1990.

Zur Publikation

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