Automated Deduction : a technological Point of View
Künstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 12. H. 4. Bremen: Böttcher IT-Verl. 1998 S. 7 - 14
Erscheinungsjahr: 1998
ISBN/ISSN: 0933-1875
Publikationstyp: Zeitschriftenaufsatz
| Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Dahn, Ingo (Autor)
Dix, Jürgen (Autor)
Kühn, Micha (Autor)
Stolzenburg, Frieder (Autor)
Thomas, Bernd (Autor)
