01460nam--2200397---450-99000296633020331620070828133657.03-540-28931-3000296633USA01000296633(ALEPH)000296633USA0100029663320070828d2005----km-y0itay0103----baengDEa|||||||001yyAutomated reasoning with analytic tableaux and related methodsInternational conference, TABLEAUX 2005Koblenz, Germany, September 14-17, 2005proceedingsBernhard Beckert(Eds.)Berlin [etc.]Springercopyr. 2005XIII, 342 p.ill.24 cmLecture notes in arteficial intelligence3702Lecture notes in computer science2001Lecture notes in arteficial intelligence3702001-------2001Intelligenza artificialeCongressiKoblenz2005Logica matematicaCongressiKoblenz2005006.3BECKERT,BernhardInternational conference, TABLEAUX 2005<2005 ;Koblenz>598080ITCBSISBD990002966330203316006.3 LNAI 370232294/CBS006.300112814BKSCISENATORE9020070828USA011336Automated reasoning with analytic tableaux and related methods1026503UNISA