TY  - BOOK
AU  - Proietti,Maurizio
ED  - International Workshop on Logic Program Synthesis and Transformation
TI  - Logic program synthesis and transformation: 5th international workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings 
T2  - Lecture Notes in Computer Science
SN  - 3540609393
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Programowanie logiczne
KW  - konferencje
KW  - kaba
N1  - Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540609391
ER  -