TU Darmstadt / ULB / TUbiblio

A multi-level approach to program synthesis

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

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1998
Herausgeber: Fuchs, Norbert E.
Autor(en): Bibel, Wolfgang ; Korn, D. ; Kreitz, C. ; Kurucz, F. ; Otten, J. ; Schmitt, S. ; Stolpmann, G.
Art des Eintrags: Bibliographie
Titel: A multi-level approach to program synthesis
Sprache: Englisch
Publikationsjahr: 1998
Ort: Berlin (u.a.)
Verlag: Springer
Buchtitel: Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings
Reihe: Lecture Notes in Computer Science
Band einer Reihe: 1463
Veranstaltungstitel: 7th International Workshop on Logic Program Synthesis and Transformation (LOPSTR ’97)
Veranstaltungsort: Leuven, Belgium
Veranstaltungsdatum: 10.07.1998-12.07.1998
DOI: 10.1007/3-540-49674-2_1
Zugehörige Links:
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:20
Letzte Änderung: 25 Sep 2024 10:02
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen