TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 2.
Buchkapitel
Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996)
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems
Buchkapitel, Bibliographie
Konferenzveröffentlichung
Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998)
A multi-level approach to program synthesis.
Konferenzveröffentlichung, Bibliographie