LEADER 01606nam2-2200421li-450 001 990000202500203316 005 20180312154815.0 010 $a3-540-55930-2 035 $a0020250 035 $aUSA010020250 035 $a(ALEPH)000020250USA01 035 $a0020250 100 $a20001109d1992----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aLogic programming in action$esecond International logic programming summer school, LPSS'92$eZurich, Switzerland, September 7-11, 1992$eproceedings$fG. Comyn ... [et al] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1992 215 $aX, 324 p.$cill.$d25 cm 225 2 $aLecture notes in artificial intelligence$v636 410 0$10010019992$12001$aLecture notes in artificial intelligence 610 1 $acongressi$azurigo$a1992 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1992 610 1 $alogica matematica$acongressi$a1992 676 $a0051$9Programmazione. Tecnica di sviluppo dei programmi 702 1$aComyn,$bGérard 710 12$aInternational logic programming summer school LPSS'92$d2.$eZurigo$f1992$0753689 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000202500203316 951 $a006.3 LNIA (636)$b0014554$c006.3$d00106599 959 $aBK 969 $aSCI 979 $c19920126 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010328$lUSA01$h1319 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aLogic programming in action$91516233 997 $aUNISA