01603nlm0 22004571i 450 9900092544404033219783540710707000925444FED01000925444(Aleph)000925444FED0100092544420100926d2008----km-y0itay50------baengDEdrnn-008mamaaAutomated ReasoningRisorsa elettronica4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedingsedited by Jaime G. Carbonell, J\"org Siekmann, Alessandro Armando, Peter Baumgartner, Gilles DowekBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435195Documento elettronicoTestoFormato html, pdfArmando,AlessandroBaumgartner,PeterCarbonell,Jaime G.Dowek,GillesSiekmann,JörgITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-71070-7EB990009254440403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringAutomated Reasoning771895UNINA