Automated Deduction: A technological Point of View
Künstliche Intelligenz. Bd. 12. H. 4. Boppard: ScienTec Publishing 1998 S. 7 - 14
Erscheinungsjahr: 1998
ISBN/ISSN: 0933-1875
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)
