01479nlm0 22004211i 450 9900092482604033219783540371885000924826FED01000924826(Aleph)000924826FED0100092482620100926d2006----km-y0itay50------baengDEdrnn-008mamaaAutomated ReasoningRisorsa elettronicaThird International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsedited by Ulrich Furbach, Natarajan ShankarBerlin ; HeidelbergSpringer2006Lecture notes in computer scienceLecture notes in artificial intelligence0302-97434130Documento elettronicoTestoFormato html, pdfFurbach,UlrichShankar,NatarajanITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11814771EB990009248260403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringAutomated Reasoning771895UNINA