LEADER 01455nam2-2200433li-450 001 990000201840203316 005 20180312154838.0 010 $a3-540-56734-8 035 $a0020184 035 $aUSA010020184 035 $a(ALEPH)000020184USA01 035 $a0020184 100 $a20001109d1993----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $a<> logic of information structures$fHeinrich Wansing 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1993 215 $aIX, 163 p.$cill.$d24 cm 225 2 $aLecture notes in artificial intelligence$v681 300 $aserie principale: lecture notes incomputer science 410 0$10010019992$12001$aLecture notes in artificial intelligence 610 1 $aelaboratori elettronici 610 1 $aintelligenza artificiale 610 1 $alogica matematica 610 1 $alogica simbolica 676 $a004$9Elab. dei dati Scienza degli elab. Informatica 700 1$aWansing,$bHeinrich$0714563 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000201840203316 951 $a006.3 LNIA (681)$b0015239$c006.3$d00106606 959 $aBK 969 $aSCI 979 $c19990131 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010328$lUSA01$h1336 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1614 996 $aLogic of information structures$91381889 997 $aUNISA