TY  - BOOK
T1  - Logic program synthesis and transformation -- Meta-programming in logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings
A2  - Fribourg, Laurent 1957-
A2  - Turini, Franco 1949-
LA  - English
PP  - Berlin
PB  - Springer-Verlag
YR  - 1994
UL  - https://tuklas.up.edu.ph/Record/UP-99796217603068169
OP  - 450
CN  - QA 76.73 L59 I58 1994
SN  - 3540587926
KW  - Logic programming : Congresses.
ER  -