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

Blomqvist, K. I. and Boeglin, and Böhm, and Distler, and Edelhoff, and Friedrich, and Geiges, and Kahau, and Korn, (1996):
Forward-angle 3He(e,e'Pi+-) coincident electroproduction and the search for Delta's in the ground state of 3He.
96/23Darmstadt: Tech. Hochschule, FB 5, Inst. für Kernphysik, 1996. 11 S.,
Darmstadt, Tech. Hochschule, [Book]

Bibel, Wolfgang and Korn, and Kreitz, and Schmitt, (1996):
Problem-oriented applications of automated theorem proving.
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 and Brüning, and Ugly, and Korn, and Rath, (1995):
Issues in theorem proving based on the connection method.
918In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 1-16, New York: Springer, 1995,
New York, Springer, [Conference or Workshop Item]

This list was generated on Tue Sep 29 02:10:30 2020 CEST.