Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
Konferenzveröffentlichung
Bibel, Wolfgang ; Korn, D. ; Kreitz, C. ; Schmitt, S.
Hrsg.: Calmet, Jaques (1996)
Problem-oriented applications of automated theorem proving.
4. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '96). Karlsruhe, Germany (18.09.1996-20.09.1996)
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum