LEADER 01044nam0-2200349li-450 001 990000160660203316 005 20180312154645.0 010 $a3-540-56583-3 035 $a0016066 035 $aUSA010016066 035 $a(ALEPH)000016066USA01 035 $a0016066 100 $a20001109d1995----km-y0itay0103----ba 101 0 $aeng 102 $aGE 200 1 $a<> logic of partial information$fAreski Nait Abadallah 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1995 610 1 $alinguaggi di programmazione modelli mate 610 1 $alogica simbolica 676 $a005.131$9. 700 1$aNait Abadallah,$bAreski$0746032 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000160660203316 951 $a005.131 NAI$b0007708 959 $aBK 969 $aTEC 979 $c19970206 979 $c20001110$lUSA01$h1712 979 $c20020403$lUSA01$h1623 979 $aPATRY$b90$c20040406$lUSA01$h1612 996 $aLogic of partial information$91488533 997 $aUNISA