Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
Buchkapitel
Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996)
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems
Buchkapitel, Bibliographie
Drucken
Impressum