TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 4.

Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998):
A multi-level approach to program synthesis.
In: International Workshop on Logic Program Synthesis and Transformation <7, 1998, Louvain>: Proceedings. Hrsg.: N. Fuchs. S. 1-27, 1463, Berlin (u.a.): Springer, 1998, Berlin (u.a.), Springer, [Conference or Workshop Item]

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.
96/23, Darmstadt: Tech. Hochschule, FB 5, Inst. für Kernphysik, 1996. 11 S., Darmstadt, Tech. Hochschule, [Book]

Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996):
Problem-oriented applications of automated theorem proving.
1128, In: Design and implementation of symbolic computation systems. Hrsg.: J. Calmet (u.a.) . Berlin (u.a.): Springer, 1996, Berlin (u.a.), Springer, [Book Section]

Bibel, Wolfgang ; Brüning, ; Ugly, ; Korn, ; Rath, (1995):
Issues in theorem proving based on the connection method.
In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 1-16, 918, New York: Springer, 1995, New York, Springer, [Conference or Workshop Item]

This list was generated on Sat Sep 25 05:16:35 2021 CEST.