LEADER 01319nam2-2200397li-450 001 990000202400203316 005 20180312154620.0 010 $a3-540-65509-3 035 $a0020240 035 $aUSA010020240 035 $a(ALEPH)000020240USA01 035 $a0020240 100 $a20001109d1998----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aTheory reasoning in connection calculi$fPeter Baumgartner 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1998 215 $aIX, 283 p.$cill.$d24 cm 225 2 $aLecture notes in artificial intelligence$v1527 300 $aserie principale : lecture notes in computer science 410 0$10010019992$12001$aLecture notes in artificial intelligence 610 1 $aintelligenza artificiale 676 $a0040151$9. 700 1$aBaumgartner,$bPeter$0745573 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000202400203316 951 $a006.3 LNIA (1527)$b0023109$c006.3$d00106773 959 $aBK 969 $aSCI 979 $c19990318 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010330$lUSA01$h1651 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aTheory reasoning in connection calculi$91487138 997 $aUNISA