LEADER 01466nlm0 22004331i 450 001 990009243600403321 010 $a9783540318200 035 $a000924360 035 $aFED01000924360 035 $a(Aleph)000924360FED01 035 $a000924360 100 $a20100926d2005----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aTheorem Proving in Higher Order Logics$bRisorsa elettronica$e18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings$fedited by Joe Hurd, Tom Melham 210 $aBerlin ; Heidelberg$cSpringer$d2005 225 1 $aLecture Notes in Computer Science$x0302-9743$v3603 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aHurd,$bJoe 702 1$aMelham,$bTom 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/11541868 901 $aEB 912 $a990009243600403321 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogic Design 961 $aLogics and Meanings of Programs 961 $aMathematical Logic and Formal Languages 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aTheorem Proving in Higher Order Logics$9772309 997 $aUNINA LEADER 04807nam 22008655 450 001 9910481962103321 005 20251226200338.0 010 $a1-280-39011-5 010 $a9786613568038 010 $a3-642-16587-7 024 7 $a10.1007/978-3-642-16587-0 035 $a(CKB)2670000000056649 035 $a(SSID)ssj0000446564 035 $a(PQKBManifestationID)11282022 035 $a(PQKBTitleCode)TC0000446564 035 $a(PQKBWorkID)10496866 035 $a(PQKB)11236266 035 $a(DE-He213)978-3-642-16587-0 035 $a(MiAaPQ)EBC3066094 035 $a(PPN)14989029X 035 $a(EXLCZ)992670000000056649 100 $a20101110d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntelligent Robotics and Applications $eThird International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II /$fedited by Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XXIII, 771 p. 560 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v6425 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-16586-9 320 $aIncludes bibliographical references and index. 327 $aIndustrial Process Control, Manufacturing Processes, and Automation -- Mobile Robotics -- Theory and Applications of Heavy Manipulators -- Robot Vision -- Biomedical and Rehabilitation Engineering, and Medical Robotics -- Human-Friendly Robot Partners -- Surface Inspection, Modeling and Machining -- Modelling for Robotics and Manufacturing Automation -- Robot and Investigation. 330 $aThe market demand for skills, knowledge and adaptability have positioned robotics to be an important field in both engineering and science. One of the most highly visible applications of robotics has been the robotic automation of many industrial tasks in factories. In the future, a new era will come in which we will see a greater success for robotics in non-industrial environments. In order to anticipate a wider deployment of intelligent and autonomous robots for tasks such as manufacturing, healthcare, ent- tainment, search and rescue, surveillance, exploration, and security missions, it is essential to push the frontier of robotics into a new dimension, one in which motion and intelligence play equally important roles. The 2010 International Conference on Intelligent Robotics and Applications (ICIRA 2010) was held in Shanghai, China, November 10?12, 2010. The theme of the c- ference was ?Robotics Harmonizing Life,? a theme that reflects the ever-growing interest in research, development and applications in the dynamic and exciting areas of intelligent robotics. These volumes of Springer?s Lecture Notes in Artificial Intel- gence and Lecture Notes in Computer Science contain 140 high-quality papers, which were selected at least for the papers in general sessions, with a 62% acceptance rate Traditionally, ICIRA 2010 holds a series of plenary talks, and we were fortunate to have two such keynote speakers who shared their expertise with us in diverse topic areas spanning the rang of intelligent robotics and application activities. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v6425 606 $aArtificial intelligence 606 $aControl engineering 606 $aRobotics 606 $aAutomation 606 $aComputer vision 606 $aPattern recognition systems 606 $aComputer graphics 606 $aApplication software 606 $aArtificial Intelligence 606 $aControl, Robotics, Automation 606 $aComputer Vision 606 $aAutomated Pattern Recognition 606 $aComputer Graphics 606 $aComputer and Information Systems Applications 615 0$aArtificial intelligence. 615 0$aControl engineering. 615 0$aRobotics. 615 0$aAutomation. 615 0$aComputer vision. 615 0$aPattern recognition systems. 615 0$aComputer graphics. 615 0$aApplication software. 615 14$aArtificial Intelligence. 615 24$aControl, Robotics, Automation. 615 24$aComputer Vision. 615 24$aAutomated Pattern Recognition. 615 24$aComputer Graphics. 615 24$aComputer and Information Systems Applications. 676 $a006.3 701 $aLiu$b Honghai$0878612 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910481962103321 996 $aIntelligent robotics and applications$94187059 997 $aUNINA