LEADER 01329nam--2200361---45--
001 990003002200203316
005 20071030122037.0
010   $a3-540-25327-0
035   $a000300220
035   $aUSA01000300220
035   $a(ALEPH)000300220USA01
035   $a000300220
100   $a20071030d2005----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aRecent trends in algebraic development tecniques$e17th International Workshop,WADT 2004$eBarcelona, Spain, March 27-29, 2004$erevised selected papers$fJosé Luiz Fiadeiro...[et al.] (eds.)
210   $aBerlin [etc.]$cSpringer$d[c2005]
215   $aVIII, 269 p.$cill.$d20 cm
225   $aLecture notes in computer science$v3423
410   $12001$aLecture notes in computer science$v3423
606 1 $aLogica matematica$xCongressi$yBarcellona$z2004
606 1 $aSoftware sviluppo$xCongressi$yBarcellona$z2004
676   $a005.131
702  1$aFIADEIRO,$bJosé Luiz
710 12$aInternational Workshop,WADT 2004$d<17. ;$f2004 ;$eBarcellona>$0599008
801  0$aITA$bCBS$gISBD
912   $a990003002200203316
951   $a001 LNCS 3423$b31866/CBS$c001$d00112414
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20071030$lUSA01$h1220
996   $aRecent trends in algebraic development tecniques$91024046
997   $aUNISA