01433nlm0 22003971i 450 9900092375404033219783540318224000923754FED01000923754(Aleph)000923754FED0100092375420100926d2005----km-y0itay50------baengDEdrnn-008mamaaAutomated Reasoning with Analytic Tableaux and Related MethodsRisorsa elettronica14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedingsedited by Bernhard BeckertBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433702Documento elettronicoTestoFormato html, pdfBeckert,BernhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11554554EB990009237540403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringAutomated Reasoning with Analytic Tableaux and Related Methods772640UNINA