TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 4.

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

Diese Liste wurde am Tue Mar 26 04:32:57 2024 CET generiert.