01140oam 2200277z- 450 99646616260331620130601075926.0(CKB)1000000000234218(EXLCZ)99100000000023421820210330c1994uuuu -u- -engLogic 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.)Springer Berlin Heidelberg3-540-58792-6 Logic Program Synthesis and Transformation — Meta-Programming in LogicLOGIC PROGRAM SYNTHESIS & TRANSFORMATION - META-PROGRAMMING IN LOGICLogic programmingCongressesLogic programmingCongresses.005.1/1Fribourg Laurent906321Turini Franco61996META '94(1994 :Pisa, Italy)BOOK996466162603316Logic Program Synthesis and Transformation — Meta-Programming in Logic2830424UNISA