LEADER 01691nam2-2200445li-450 001 990000201890203316 005 20211215133718.0 010 $a3-540-56454-3 035 $a0020189 035 $aUSA010020189 035 $a(ALEPH)000020189USA01 035 $a0020189 100 $a20001109d1993----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aExtensions of logic programming$ethird International workshop, ELP'92$eBologna, Italy, February 26-28, 19992$eproceedings$fE. Lamma (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1993 215 $aVIII, 417 p.$cill.$d24 cm 225 2 $aLecture notes in artificial intelligence$v660 300 $aserie principale: lecture notes incomputer science 410 0$10010019992$12001$aLecture notes in artificial intelligence 610 1 $acongressi$abologna$a1992 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1992 610 1 $alogica matematica$acongressi$a1992 676 $a0051$9Programmazione. Tecnica di sviluppo dei programmi 702 1$aLamma,$bEvelina 710 12$aInternational workshop ELP'92$d3.$eBologna$f1992$0753231 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000201890203316 951 $a006.3 LNAI (660)$b0015074 CBS$c006.3$d00106603 951 $a006.3 LNAI 660 a$b11399 Ing.$c006.3 LNAI$d00336679 959 $aBK 969 $aSCI 979 $c19940321 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010328$lUSA01$h1325 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1614 996 $aExtensions of logic programming$91515167 997 $aUNISA