LEADER 01647nam2-2200433li-450 001 990000205970203316 005 20180312154759.0 010 $a3-540-63459-2 035 $a0020597 035 $aUSA010020597 035 $a(ALEPH)000020597USA01 035 $a0020597 100 $a20001109d1997----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aAlgebraic and logic programming$e6th International joint conferenceALP'97-HOA'97$eSouthampton, UK, September 3-5, 1997$eproceedings$fMichael Hanus ... [et al.] (eds.) 210 $aBerlino$cSpringer-Verlag$dcopyr. 1997 215 $aX, 286 p.$cill.$d23 cm 225 2 $aLecture notes in computer science$v1298 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$asouthampton$a1997 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1997 610 1 $alogica matematica$acongressi$a1997 676 $a0051$9Programmazione. Tecnica di sviluppo dei programmi 702 1$aHanus,$bMichael 710 12$aInternational joint conference ALP'97$d6.$eSouthampton$f1997$0753246 712 12$aInternational joint conference HOA$d3.$eSouthampton$f1997 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000205970203316 951 $a001 LNCS (1298)$b0021084$c001$d00104051 959 $aBK 969 $aSCI 979 $c19980117 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010202$lUSA01$h1603 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aAlgebraic and logic programming$91515182 997 $aUNISA