00000cam a22000004a 4500 UP-99796217603068169 Buklod 20230503092542.0 m |o d | ta 080209s1994 xx a rb |101 0|eng d 3540587926 (iLib)UPD-00000177162 DENG eng QA 76.73 L59 I58 1994 International Workshop on Logic Program Synthesis and Transformation Pisa, Italy) 1994 (4th Logic program synthesis and transformation -- Meta-programming in logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings Laurent Fribourg, Franco Turini, eds. Berlin Springer-Verlag c1994. ix, 450 p. ill. Logic programming Congresses. Fribourg, Laurent 1957-. Turini, Franco 1949-. META '94 Pisa, Italy). (1994. Book FO Monograph UPD DENG-II QA 76.73 L59 I58 1994 Book