LEADER 01380nam0-2200433li-450 001 990000160670203316 005 20180312154818.0 010 $a0-471-92625-6 035 $a0016067 035 $aUSA010016067 035 $a(ALEPH)000016067USA01 035 $a0016067 100 $a2001990121990-------y0itay0103----ba 101 0 $aeng 102 $aGB 200 1 $aLogic, programming and Prolog$fUlf Nilsson and Jan Maluszynski 210 $aChichester [etc.]$cJohn Wiley & Sons$dcopyr. 1990 215 $aXIV, 289 p.$cill.$d25 cm 610 1 $alinguaggio prolog 610 1 $aprogrammazione (informatica) 676 $a0051$9Programmazione. Tecnica di sviluppo dei programmi 700 1$aNilsson,$bUlf$0747157 702 1$aMaluszynski,$bJan 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000160670203316 951 $a005.1 NIL$b0012580$c005.1$d00106412 951 $a005.1 NIL$b6152 Ing$c005.1 959 $aBK 969 $aSCI 969 $aTEC 979 $c19901210 979 $c20001110$lUSA01$h1712 979 $aALANDI$b90$c20010319$lUSA01$h1736 979 $aALANDI$b90$c20010319$lUSA01$h1736 979 $c20020403$lUSA01$h1623 979 $aSIAV6$b10$c20031013$lUSA01$h0948 979 $aPATRY$b90$c20040406$lUSA01$h1612 996 $aLogic, programming and Prolog$91492391 997 $aUNISA