Skip to contents Burghardt, Jochen [Author] Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1993 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 212 Fuchs, Norbert E. [Editor] ; LOPSTR 7 1997 Löwen Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 1997; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1463 Biundo-Stephan, Susanne [Author] ; Biundo, Susanne [Other] Automatische Synthese rekursiver Programme als Beweisverfahren Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Informatik-Fachberichte ; 302 Fuchs, Norbert E. [Author] Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1463
Burghardt, Jochen [Author] Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1993 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 212
Fuchs, Norbert E. [Editor] ; LOPSTR 7 1997 Löwen Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 1997; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1463
Biundo-Stephan, Susanne [Author] ; Biundo, Susanne [Other] Automatische Synthese rekursiver Programme als Beweisverfahren Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Informatik-Fachberichte ; 302
Fuchs, Norbert E. [Author] Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1463
> Availability Skip to next facet Open Shelves (1) Wert ausschließen Stack Collection (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Central Library (1) Wert ausschließen Show more show less
> Language Skip to next facet English (2) Wert ausschließen German (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (3) Wert ausschließen Mathmatics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Fuchs, Norbert E. (2) Wert ausschließen Biundo, Susanne (1) Wert ausschließen Biundo-Stephan, Susanne (1) Wert ausschließen Burghardt, Jochen (1) Wert ausschließen LOPSTR 7 1997 Löwen (1) Wert ausschließen Show more show less