LEADER 01368nam--2200385---45--
001 990000498820203316
010   $a3-540-42127-0
035   $a0049882
035   $aUSA010049882
035   $a(ALEPH)000049882USA01
035   $a0049882
100   $a20010611d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aLogic based program synthetis and transformation$e10th International workshop, LOPSTR 2000$eLondon, UK, July 24-28, 2000$eselected papers$fKung-Kiu Lau (ed.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001
215   $aVIII, 181 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v2042
410   $12001$aLecture notes in computer science$v2042
610 1 $aProgrammazione logica$aCongressi$a2000
610 1 $aCongressi$aLondra$a2000
676   $a005.1
702  1$aLau,$bKung-Kiu
710 12$aInternational workshop, LOPSTR <10. ; 2000 ; London ; UK>$0545723
801  0$aITA$bCBS$gISBD
912   $a990000498820203316
951   $a001 LNCS (2042)$b0026424 CBS$c001$d00104802
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20010611$lUSA01$h0958
979   $aALANDI$b90$c20010703$lUSA01$h1059
979   $c20020403$lUSA01$h1658
979   $aPATRY$b90$c20040406$lUSA01$h1635
996   $aLogic based program synthetis and transformation$9887593
997   $aUNISA