01412nlm0 22004091i 450 9900092454104033219783540735953000924541FED01000924541(Aleph)000924541FED0100092454120100926d2007----km-y0itay50------baengDEdrnn-008mamaaAutomated Deduction – CADE-21Risorsa elettronica21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedingsedited by Frank PfenningBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434603Documento elettronicoTestoFormato html, pdfPfenning,FrankITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-73595-3EB990009245410403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringAutomated Deduction – CADE-21772519UNINA