01440nlm0 22003971i 450 9900092526604033219783540730996000925266FED01000925266(Aleph)000925266FED0100092526620100926d2007----km-y0itay50------baengDEdrnn-008mamaaAutomated Reasoning with Analytic Tableaux and Related MethodsRisorsa elettronica16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedingsedited by Nicola OlivettiBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434548Documento elettronicoTestoFormato html, pdfOlivetti,NicolaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-73099-6EB990009252660403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringAutomated Reasoning with Analytic Tableaux and Related Methods772640UNINA