LEADER 01460nam--2200397---450-
001 990002966330203316
005 20070828133657.0
010   $a3-540-28931-3
035   $a000296633
035   $aUSA01000296633
035   $a(ALEPH)000296633USA01
035   $a000296633
100   $a20070828d2005----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aAutomated reasoning with analytic tableaux and related methods$eInternational conference, TABLEAUX 2005$eKoblenz, Germany, September 14-17, 2005$eproceedings$fBernhard Beckert(Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2005
215   $aXIII, 342 p.$cill.$d24 cm
225 2 $aLecture notes in arteficial intelligence$v3702
225   $aLecture notes in computer science
410   $12001$aLecture notes in arteficial intelligence$v3702
461  1$1001-------$12001
610 0 $aIntelligenza artificiale$xCongressi$yKoblenz$z2005
610 0 $aLogica matematica$xCongressi$yKoblenz$z2005
676   $a006.3
702  1$aBECKERT,$bBernhard
710 12$aInternational conference, TABLEAUX 2005$f<2005 ;$eKoblenz>$0598080
801  0$aIT$bCBS$gISBD
912   $a990002966330203316
951   $a006.3 LNAI 3702$b32294/CBS$c006.3$d00112814
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070828$lUSA01$h1336
996   $aAutomated reasoning with analytic tableaux and related methods$91026503
997   $aUNISA