LEADER 01550nam--2200445---450-
001 990000320170203316
010   $a3-540-67628-7
035   $a0032017
035   $aUSA010032017
035   $a(ALEPH)000032017USA01
035   $a0032017
100   $a20010108d2000----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aLogic-Based program synthesis and trasformation$e9th international workshop, LOPSTR'99$eVenezia, Italia, September 22-24, 1999 selected papers$fAnnalisa Bossi
210   $aBerlin$cSpringer-Verlag$dc2000
215   $aVIII, 312 p.$cill.$d25 cm
225 2 $aLecture notes in computer science$v1817
410  0$12001$aLecture notes in computer science$v1817
461  1$1001-------$12001
610 0 $aPrammazione logica$xCongressi$z1999
610 0 $aCongressi$yVenezia$z1999
676   $a005.1
702  1$aBOSSI,$bAnnalisa
710 12$aInternational workshop LOPSTR'99 <9.;1999; Venezia>$0542581
801  0$aIT$bsalbc$gISBD
912   $a990000320170203316
951   $a001 LNCS (1817)$bCBS 0025591$c001$d00103199
959   $aBK
969   $aSCI
979   $aTAMI$b40$c20010108$lUSA01$h1625
979   $aTAMI$b40$c20010108$lUSA01$h1626
979   $aTAMI$b40$c20010108$lUSA01$h1652
979   $aTAMI$b40$c20010108$lUSA01$h1652
979   $aTAMI$b40$c20010108$lUSA01$h1703
979   $c20020403$lUSA01$h1640
979   $aPATRY$b90$c20040406$lUSA01$h1622
996   $aLogic-Based program synthesis and trasformation$9878976
997   $aUNISA