TY -
BOOK
AU - LOPSTR 14 2004 Verona
AU - Etalle, Sandro
TI -
Logic based program synthesis and transformation
14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004; revised selected papers
PB - Springer
SN - 3540266550
SN - 9783540266556
KW - Logic programming Congresses
KW - Konferenzschrift 2004 Verona
KW - Konferenzschrift
KW - Logische Programmierung
KW - Programmsynthese
KW - Programmtransformation
KW - Computational logic
PY - 2005
N2 - Literaturangaben
BT - Lecture notes in computer science ; 3573
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -