LEADER 01912oam 2200505zu 450 001 996218228103316 005 20210807003545.0 035 $a(CKB)111026746728470 035 $a(SSID)ssj0000393591 035 $a(PQKBManifestationID)12122668 035 $a(PQKBTitleCode)TC0000393591 035 $a(PQKBWorkID)10380060 035 $a(PQKB)11289037 035 $a(EXLCZ)99111026746728470 100 $a20160829d2000 uy 101 0 $aeng 181 $ctxt 182 $cc 183 $acr 200 10$a6th International Workshop on Advanced Motion Control : March 30-April 1, 2000, Nagoya Institute of Technology, Nagoya, Japan : proceedings 210 31$a[Place of publication not identified]$cInstitute of Electrical and Electronics Engineers$d2000 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-7803-5976-3 606 $aElectric controllers$vCongresses 606 $aMotion control devices$xCongresses 606 $aElectric motors$xCongresses$xAutomatic control 606 $aRobots$xControl systems$xCongresses 606 $aServomechanisms 606 $aElectrical & Computer Engineering$2HILCC 606 $aElectrical Engineering$2HILCC 606 $aEngineering & Applied Sciences$2HILCC 615 0$aElectric controllers 615 0$aMotion control devices$xCongresses 615 0$aElectric motors$xCongresses$xAutomatic control 615 0$aRobots$xControl systems$xCongresses 615 0$aServomechanisms 615 7$aElectrical & Computer Engineering 615 7$aElectrical Engineering 615 7$aEngineering & Applied Sciences 676 $a629.8/3 801 0$bPQKB 906 $aPROCEEDING 912 $a996218228103316 996 $a6th International Workshop on Advanced Motion Control : March 30-April 1, 2000, Nagoya Institute of Technology, Nagoya, Japan : proceedings$92506147 997 $aUNISA LEADER 04284nam 22008055 450 001 9910485152703321 005 20251225212306.0 010 $a3-319-62075-4 024 7 $a10.1007/978-3-319-62075-6 035 $a(CKB)4340000000061618 035 $a(DE-He213)978-3-319-62075-6 035 $a(MiAaPQ)EBC5610754 035 $a(MiAaPQ)EBC6306913 035 $a(Au-PeEL)EBL5610754 035 $a(OCoLC)992988965 035 $a(Au-PeEL)EBL6306913 035 $a(PPN)202991083 035 $a(EXLCZ)994340000000061618 100 $a20170627d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntelligent Computer Mathematics $e10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /$fedited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVIII, 375 p. 81 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v10383 311 08$a3-319-62074-6 327 $aCalculemus track: integration of symbolic computation and mechanized reasoning -- Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings -- Systems and Projects track: descriptions of systems and relevant projects as keys research topics. 330 $aThis book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v10383 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer simulation 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Modelling 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer simulation. 615 14$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Modelling. 676 $a006.3 702 $aGeuvers$b Herman$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEngland$b Matthew$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHasan$b Osman$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRabe$b Florian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTeschke$b Olaf$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485152703321 996 $aIntelligent Computer Mathematics$93552027 997 $aUNINA