Automated Deduction: A technological Point of View
Künstliche Intelligenz : KI : German journal of Artificial Intelligence. Bd. 12. H. 4. Berlin: Springer 1998 S. 7 - 14
Erscheinungsjahr: 1998
ISBN/ISSN: 1610-1987
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
| Geprüft: | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Dahn, Ingo (Autor)
Dix, Jürgen (Autor)
Kühn, Micha (Autor)
Stolzenburg, Frieder (Autor)
Thomas, Bernd (Autor)
