Konferenzveröffentlichung

Bibel, Wolfgang ; Korn, D. ; Kreitz, C. ; Kurucz, F. ; Otten, J. ; Schmitt, S. ; Stolpmann, G.
Hrsg.: Fuchs, Norbert E. (1998)
A multi-level approach to program synthesis.
7th International Workshop on Logic Program Synthesis and Transformation (LOPSTR ’97). Leuven, Belgium (10.07.1998-12.07.1998)
doi: 10.1007/3-540-49674-2_1
Konferenzveröffentlichung, Bibliographie

Bibel, Wolfgang ; Brüning, Stefan ; Egly, U. ; Korn, D. ; Rath, Thomas
Hrsg.: Baumgartner, P. (1995)
Issues in theorem proving based on the connection method.
4th International Workshop, TABLEAUX-95. St. Goar, Germany (07.05. - 10.05.1995)
doi: 10.1007/3-540-59338-1_24
Konferenzveröffentlichung, Bibliographie