Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Mentés helye:
Testületi szerző(k): | |
---|---|
Közreműködő(k): | |
Különgyűjtemény: | e-book |
Formátum: | könyv |
Nyelv: | angol |
Megjelenés: |
Cham : Springer International Publishing,
2017
|
Sorozat: | Lecture Notes in Artificial Intelligence ; 10383 |
Tárgyszavak: | |
Online elérés: | https://doi.org/10.1007/978-3-319-62075-6 |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
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. |