LEADER 01692nam2-2200433li-450 
001 990000201710203316
005 20180312154738.0
010   $a3-540-64406-7
035   $a0020171
035   $aUSA010020171
035   $a(ALEPH)000020171USA01
035   $a0020171
100   $a2001999021998-------y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aAutomated reasoning with analytic tableaux and related methods$eInternational conference, TABLEAUX'98$eOisterwijk, The Netherlands, May 5-8, 1998$eproceedings$fHarrie de Swart (ed.)
210   $aBerlin$cSpringer-Verlag$dcopyr. 1998
215   $aX,324 p.$cill.$d23 cm
225 2 $aLecture notes in artificial intelligence$v1397
300   $aserie principale: lecture notes incomputer science
410  0$10010019992$12001$aLecture notes in artificial intelligence
610 1 $acongressi$aoisterwijk (the netherlands)$a1998
610 1 $aelaborazione parallela$acongressi$a1998
610 1 $aintelligenza artificiale$acongressi$a1998
676   $a0063$9Intelligenza artificiale [precedent. 001.535]
702  1$aSwart,$bHarrie de
710 12$aInternational TABLEAUX '98$eOisterwijk (The Netherlands)$f1998$0747208
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000201710203316
951   $a006.3 LNAI (1397)$b0022689
959   $aBK
969   $aSCI
979   $c19990213
979   $c20001110$lUSA01$h1714
979   $c20020403$lUSA01$h1628
979   $aPATRY$b90$c20040406$lUSA01$h1614
979   $aANGELA$b90$c20081201$lUSA01$h1320
996   $aAutomated reasoning with analytic tableaux and related methods$91492503
997   $aUNISA