01469nlm0 22004091i 450 9900092611104033219783642027161000926111FED01000926111(Aleph)000926111FED0100092611120100926d2009----km-y0itay50------baengDEdrnn-008mamaaAutomated Reasoning with Analytic Tableaux and Related MethodsRisorsa elettronica18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedingsedited by Martin Giese, Arild WaalerBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435607Documento elettronicoTestoFormato html, pdfGiese,MartinWaaler,ArildITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-02716-1EB990009261110403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringAutomated Reasoning with Analytic Tableaux and Related Methods772640UNINA