Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings / edited by Catherine Dubois, Manfred Kerber
(Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 14101)
データ種別 | 電子ブック |
---|---|
版 | 1st ed. 2023. |
出版者 | (Cham : Springer Nature Switzerland : Imprint: Springer) |
出版年 | 2023 |
大きさ | XVII, 324 p. 83 illus., 49 illus. in color : online resource |
著者標目 | Dubois, Catherine editor Kerber, Manfred editor SpringerLink (Online service) |
書誌詳細を非表示
一般注記 | Invited Talks -- Regular Papers -- Project and Survey papers -- System and Dataset Descriptions -- System Entry This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics HTTP:URL=https://doi.org/10.1007/978-3-031-42753-4 |
---|---|
件 名 | LCSH:Artificial intelligence LCSH:Machine theory LCSH:Social sciences -- Data processing 全ての件名で検索 LCSH:Education -- Data processing 全ての件名で検索 LCSH:Algorithms LCSH:Application software FREE:Artificial Intelligence FREE:Formal Languages and Automata Theory FREE:Computer Application in Social and Behavioral Sciences FREE:Computers and Education FREE:Design and Analysis of Algorithms FREE:Computer and Information Systems Applications |
分 類 | LCC:Q334-342 LCC:TA347.A78 DC23:006.3 |
書誌ID | EB00001416 |
ISBN | 9783031427534 |
類似資料
この資料の利用統計
このページへのアクセス回数:8回
※2019年3月27日以降
全貸出数:0回
(1年以内の貸出:0回)
※2019年3月27日以降