Blättern nach Person
 | Ebene hoch |
Springe zu: Englisch
Anzahl der Einträge: 1.
Englisch
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