OPAC

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)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0002028	Computer Scinece R0 2005-6,2022-3				9783031427534

一般注記	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