LEADER 01263nam2-2200349li-450 
001 990002961840203316
005 20180312154917.0
010   $a3-540-22174-3
035   $a000296184
035   $aUSA01000296184
035   $a(ALEPH)000296184USA01
035   $a000296184
100   $a2002007082003-------y0itay0103----ba
101 0 $aENG
102   $aDE
200 1 $aLogic based Program Synthesis and Transformation$e13th International symposium, LOPSTR 2003$eUppsala, Sweden, August 25-27, 2003$eRevised Selected Papers$fMaurice Bruynooghe(ed.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aX, 232 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v3018
410  0$10010020264$12001$aLecture notes in computer science$v3018
606 1 $aProgrammazione logica$xCongressi$yUppsala$a2003
676   $a005.1
702  1$aBRUYNOOGHE,$bMaurice
710 12$aInternational workshop, LOPSTR 2003$d<13. ;$f2003 ;$eUppsala>$0754696
801   $aIT$bCBS$gISBD
912   $a990002961840203316
951   $a001 LNCS 3018$b31101/CBS$c001$d00215306
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070808$lUSA01$h1125
996   $aLogic based Program Synthesis and Transformation$91518815
997   $aUNISA