Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. (2017)
- Record Type:
- Book
- Title:
- Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. (2017)
- Main Title:
- Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
- Other Titles:
- CICM 2017
- Further Information:
- Note: Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke (eds.).
- Editors:
- Geuvers, Herman, 1964-
England, Matthew
Hasan, Osman, 1975-
Rabe, Florian
Teschke, Olaf - Other Names:
- CICM (Conference), 10th
- Contents:
- Calculemus 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.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2017
- Extent:
- 1 online resource (xviii, 375 pages), illustrations
- Subjects:
- 004.01/51
Computer science
Computer science -- Mathematics -- Congresses
Artificial intelligence -- Mathematics -- Congresses
Artificial intelligence -- Mathematics
Computer science -- Mathematics
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Simulation and Modeling
Mathematics -- Logic
Computers -- Programming -- General
Computers -- Software Development & Engineering -- General
Computers -- Programming Languages -- General
Computers -- Computer Simulation
Mathematical theory of computation
Computer programming / software development
Software Engineering
Programming & scripting languages: general
Computer modelling & simulation
Artificial intelligence
Logic design
Software engineering
Computer simulation
Computers -- Intelligence (AI) & Semantics
Artificial intelligence
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319620756
3319620754
3319620746
9783319620749 - Related ISBNs:
- 9783319620749
- Notes:
- Note: Includes bibliographical references and author index.
Note: Online resource; title from PDF title page (SpringerLink, viewed July 7, 2017). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.370728
- Ingest File:
- 01_355.xml