id opac-EUL01-000955681
collection e-book
institution L_042
EUL01
spelling Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings edited by Herman Geuvers [et.al]
Cham Springer International Publishing 2017
XVIII, 375 p. ill.
szöveg txt rdacontent
számítógépes c rdamedia
távoli hozzáférés cr rdacarrier
szövegfájl PDF rda
Lecture Notes in Artificial Intelligence 10383
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.
This 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.
Nyomtatott kiadás: ISBN 9783319620749
Nyomtatott kiadás: ISBN 9783319620763
Az e-könyvek a teljes ELTE IP-tartományon belül online elérhetők.
könyv
e-book
Artificial intelligence. EUL10000183324 Y
mesterséges intelligencia EUL10000021058 Y
Computer science. EUL10000449227 Y
számítástudomány EUL10000219601 Y
Logic design. EUL10000437736 Y
Software engineering. EUL10000225264 Y
szoftverfejlesztés EUL10000332283 Y
Computer simulation. EUL10000093376 Y
számítógépes szimuláció EUL10000251216 Y
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
elektronikus könyv
Geuvers, Herman szerk. EUL10001014675 Y
SpringerLink (Online service) közreadó testület
International Conference on Intelligent Computer Mathematics 10. 2017 Edinburgh, Egyesült Királyság
Lecture notes in artificial intelligence EUL10000129854 Y
LNAI EUL10000129854 N
Online változat https://doi.org/10.1007/978-3-319-62075-6
Cham Springer International Publishing Imprint: Springer 2017
EUL01
language English
format Book
author2 Geuvers, Herman, szerk.
author_facet Geuvers, Herman, szerk.
SpringerLink (Online service), közreadó testület
International Conference on Intelligent Computer Mathematics10.(2017) (Edinburgh, Egyesült Királyság)
author_corporate SpringerLink (Online service), közreadó testület
International Conference on Intelligent Computer Mathematics10.(2017) (Edinburgh, Egyesült Királyság)
author_sort Geuvers, Herman
title Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
spellingShingle Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Lecture Notes in Artificial Intelligence ; 10383
Artificial intelligence.
mesterséges intelligencia
Computer science.
számítástudomány
Logic design.
Software engineering.
szoftverfejlesztés
Computer simulation.
számítógépes szimuláció
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
elektronikus könyv
title_sub 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
title_short Intelligent Computer Mathematics
title_full Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings edited by Herman Geuvers [et.al]
title_fullStr Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings edited by Herman Geuvers [et.al]
title_full_unstemmed Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings edited by Herman Geuvers [et.al]
title_auth Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
title_sort intelligent computer mathematics 10th international conference cicm 2017 edinburgh uk july 17 21 2017 proceedings
series Lecture Notes in Artificial Intelligence ; 10383
series2 Lecture notes in artificial intelligence
LNAI
publishDate 2017
publishDateSort 2017
physical XVIII, 375 p. : ill.
isbn 978-3-319-62075-6
callnumber-first Q - Science
callnumber-subject Q - General Science
callnumber-label Q334-342
callnumber-raw 13765
callnumber-search 13765
topic Artificial intelligence.
mesterséges intelligencia
Computer science.
számítástudomány
Logic design.
Software engineering.
szoftverfejlesztés
Computer simulation.
számítógépes szimuláció
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
elektronikus könyv
topic_facet Artificial intelligence.
mesterséges intelligencia
Computer science.
számítástudomány
Logic design.
Software engineering.
szoftverfejlesztés
Computer simulation.
számítógépes szimuláció
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
elektronikus könyv
Artificial intelligence.
mesterséges intelligencia
Computer science.
számítástudomány
Logic design.
Software engineering.
szoftverfejlesztés
Computer simulation.
számítógépes szimuláció
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
url https://doi.org/10.1007/978-3-319-62075-6
illustrated Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 006 - Special computer methods
dewey-full 006.3
dewey-sort 16.3
dewey-raw 006.3
dewey-search 006.3
first_indexed 2023-12-26T23:18:13Z
last_indexed 2023-12-29T19:19:17Z
recordtype opac
publisher Cham : Springer International Publishing
_version_ 1786641340483764224
score 13,361518
generalnotes This 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.