01393nlm0 22003971i 450 9900092454304033219783540735809000924543FED01000924543(Aleph)000924543FED0100092454320100926d2007----km-y0itay50------baengDEdrnn-008mamaaAbstraction, Reformulation, and ApproximationRisorsa elettronica7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedingsedited by Ian Miguel, Wheeler RumlBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434612Documento elettronicoTestoFormato html, pdfMiguel,IanRuml,WheelerITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-73580-9EB990009245430403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesAbstraction, Reformulation and Approximation772062UNINA