LEADER 01606nam2-2200433li-450 001 990000201790203316 005 20180312154735.0 010 $a3-540-55745-8 035 $a0020179 035 $aUSA010020179 035 $a(ALEPH)000020179USA01 035 $a0020179 100 $a20001109d1992----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aNonclassical logics and information processing$einternational workshop Berlin, Germany, November 9-10, 1990$eproceeding$fD. Pearce (ed.) 210 $aBerlino [etc.]$cSpringer-Verlag$dcopyr. copyr. 1992 215 $a171 p.$cill.$d24 cm 225 2 $aLecture notes in artificial intelligence$v619 300 $aserie principale: lecture notes incomputer science 410 0$10010019992$12001$aLecture notes in artificial intelligence 610 1 $acongressi$aberlino$a1990 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1990 610 1 $aelaborazione dei dati$acongressi$a1990 610 1 $alogica matematica$acongressi$a1990 676 $a005131$9Logica matematica (Logica simbolica) 702 1$aPearce,$bDavid 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000201790203316 951 $a006.3 LNIA (619)$b0015072$c006.3$d00106595 959 $aBK 969 $aSCI 979 $c19940321 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010328$lUSA01$h1131 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1614 996 $aNonclassical logics and information processing$91492016 997 $aUNISA