Blättern nach Person
Ebene hoch |
Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998)
A multi-level approach to program synthesis.
Konferenzveröffentlichung, Bibliographie
Blomqvist, K. I. ; Boeglin, ; Böhm, ; Distler, ; Edelhoff, ; Friedrich, ; Geiges, ; Kahau, ; Korn, (1996)
Forward-angle 3He(e,e'Pi+-) coincident electroproduction and the search for Delta's in the ground state of 3He.
Buch, Bibliographie
Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996)
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems
Buchkapitel, Bibliographie
Bibel, Wolfgang ; Brüning, ; Ugly, ; Korn, ; Rath, (1995)
Issues in theorem proving based on the connection method.
Konferenzveröffentlichung, Bibliographie