國立虎尾科技大學 |

Intelligent Computer Mathematics = 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Intelligent Computer Mathematics/ edited by Kevin Buzzard, Temur Kutsia.
其他題名:	15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings /
其他作者:	Kutsia, Temur.
面頁冊數:	XV, 349 p. 231 illus., 137 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computational Intelligence. -
電子資源:	https://doi.org/10.1007/978-3-031-16681-5
ISBN:	9783031166815

Intelligent Computer Mathematics = 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings /
Intelligent Computer Mathematics15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings /[electronic resource] :edited by Kevin Buzzard, Temur Kutsia. - 1st ed. 2022. - XV, 349 p. 231 illus., 137 illus. in color.online resource. - Lecture Notes in Artificial Intelligence,134672945-9141 ;. - Lecture Notes in Artificial Intelligence,13406.

Invited Talk -- Formalizations -- Digital Libraries and Mathematical Knowledge Management -- Theorem Proving and Expression Transformation -- Satisfiability, QBF, and SMT Solving -- Computer-Aided Teaching -- Datasets and system entries.

This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.

ISBN: 9783031166815

Standard No.: 10.1007/978-3-031-16681-5doiSubjects--Topical Terms:

768837
Computational Intelligence.

LC Class. No.: Q342

Dewey Class. No.: 006.3

Intelligent Computer Mathematics = 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings /
LDR:02222nam a22004095i 4500 001 1083232
003 DE-He213
005 20221012191914.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031166815 $9 978-3-031-16681-5
024 7 $a 10.1007/978-3-031-16681-5 $2 doi
035 $a 978-3-031-16681-5
050 4 $a Q342
072 7 $a UYQ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
245 1 0 $a Intelligent Computer Mathematics $h [electronic resource] : $b 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings / $c edited by Kevin Buzzard, Temur Kutsia.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XV, 349 p. 231 illus., 137 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Artificial Intelligence, $x 2945-9141 ; $v 13467
505 0 $a Invited Talk -- Formalizations -- Digital Libraries and Mathematical Knowledge Management -- Theorem Proving and Expression Transformation -- Satisfiability, QBF, and SMT Solving -- Computer-Aided Teaching -- Datasets and system entries.
520 $a This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.
650 1 4 $a Computational Intelligence. $3 768837
650 0 $a Computational intelligence. $3 568984
700 1 $a Kutsia, Temur. $e editor. $1 https://orcid.org/0000-0003-4084-7380 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1389151
700 1 $a Buzzard, Kevin. $e editor. $1 https://orcid.org/0000-0002-7187-5109 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1389150
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031166808
776 0 8 $i Printed edition: $z 9783031166822
830 0 $a Lecture Notes in Artificial Intelligence, $x 2945-9141 ; $v 13406 $3 1387736
856 4 0 $u https://doi.org/10.1007/978-3-031-16681-5
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)