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!
|
| LEADER | nam a22 5i 4500 | ||
|---|---|---|---|
| 001 | 000955681 | ||
| 005 | 20190405121152.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 170627s2017 gw af fsb 101 0 eng d | ||
| 020 | |a 978-3-319-62075-6 | ||
| 024 | 7 | |a 10.1007/978-3-319-62075-6 |2 doi | |
| 040 | |a Springer |b hun |c ELTE | ||
| 041 | 0 | |a eng | |
| 050 | 4 | |a Q334-342 | |
| 050 | 4 | |a TJ210.2-211.495 | |
| 082 | 0 | 4 | |a 006.3 |2 23 |
| 245 | 0 | 0 | |a Intelligent Computer Mathematics |b 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings |c edited by Herman Geuvers [et.al] |
| 260 | |a Cham |b Springer International Publishing |c 2017 | ||
| 300 | |a XVIII, 375 p. |b ill. | ||
| 336 | |a szöveg |b txt |2 rdacontent | ||
| 337 | |a számítógépes |b c |2 rdamedia | ||
| 338 | |a távoli hozzáférés |b cr |2 rdacarrier | ||
| 347 | |a szövegfájl |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Artificial Intelligence |v 10383 | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 580 | |a Nyomtatott kiadás: ISBN 9783319620749 | ||
| 580 | |a Nyomtatott kiadás: ISBN 9783319620763 | ||
| 506 | |a Az e-könyvek a teljes ELTE IP-tartományon belül online elérhetők. | ||
| 598 | |a könyv | ||
| 595 | |a e-book | ||
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | 4 | |a mesterséges intelligencia |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | 4 | |a számítástudomány |
| 650 | 0 | |a Logic design. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | 4 | |a szoftverfejlesztés |
| 650 | 0 | |a Computer simulation. | |
| 650 | 0 | 4 | |a számítógépes szimuláció |
| 650 | 1 | 4 | |a Artificial Intelligence (incl. Robotics). |
| 650 | 2 | 4 | |a Mathematical Logic and Formal Languages. |
| 650 | 2 | 4 | |a Logics and Meanings of Programs. |
| 650 | 2 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Programming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | |a Simulation and Modeling. |
| 653 | |a elektronikus könyv | ||
| 700 | 1 | |a Geuvers, Herman |e szerk. | |
| 710 | 2 | |a SpringerLink (Online service) |e közreadó testület | |
| 711 | 2 | |a International Conference on Intelligent Computer Mathematics |n 10. |d 2017 |c Edinburgh, Egyesült Királyság | |
| 830 | 0 | |a Lecture notes in artificial intelligence | |
| 850 | |a B2 | ||
| 856 | 4 | 0 | |y Online változat |u https://doi.org/10.1007/978-3-319-62075-6 |
| 264 | 1 | |a Cham |b Springer International Publishing |b Imprint: Springer |c 2017 | |