LEADER 01140oam  2200277z- 450 
001 996466162603316
005 20130601075926.0
035   $a(CKB)1000000000234218
035   $a(EXLCZ)991000000000234218
100   $a20210330c1994uuuu  -u-            -
101 0 $aeng
200 10$aLogic program synthesis and transformation-- Meta-programming in Logic $e4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings /$fLaurent Fribourg, Franco Turini, (eds.)
210   $cSpringer Berlin Heidelberg
311   $a3-540-58792-6 
517   $aLogic Program Synthesis and Transformation â?? Meta-Programming in Logic
531   $aLOGIC PROGRAM SYNTHESIS & TRANSFORMATION  -  META-PROGRAMMING IN LOGIC
606   $aLogic programming$xCongresses
615  0$aLogic programming$xCongresses.
676   $a005.1/1
701   $aFribourg$b Laurent$0906321
701   $aTurini$b Franco$061996
712 12$aMETA '94$f(1994 :$ePisa, Italy)
906   $aBOOK
912   $a996466162603316
996   $aLogic Program Synthesis and Transformation ? Meta-Programming in Logic$92830424
997   $aUNISA