國立虎尾科技大學 |

Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Intelligent Computer Mathematics/ edited by Fairouz Kamareddine, Claudio Sacerdoti Coen.
Reminder of title:	14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /
other author:	Kamareddine, Fairouz.
Description:	XX, 249 p. 69 illus., 32 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Artificial intelligence. -
Online resource:	https://doi.org/10.1007/978-3-030-81097-9
ISBN:	9783030810979

Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /
Intelligent Computer Mathematics14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /[electronic resource] :edited by Fairouz Kamareddine, Claudio Sacerdoti Coen. - 1st ed. 2021. - XX, 249 p. 69 illus., 32 illus. in color.online resource. - Lecture Notes in Artificial Intelligence ;12833. - Lecture Notes in Artificial Intelligence ;9285.

Formalizations -- Automatic Theorem Proving and Machine Learning -- Search and Classification -- Teaching and Geometric Reasoning -- Logic and Systems -- Abstracts of Invited Speakers.

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*. The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 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. * The conference was held virtually due to the COVID-19 pandemic.

ISBN: 9783030810979

Standard No.: 10.1007/978-3-030-81097-9doiSubjects--Topical Terms:

559380
Artificial intelligence.

LC Class. No.: Q334-342

Dewey Class. No.: 006.3

Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /
LDR:02282nam a22004095i 4500 001 1047685
003 DE-He213
005 20211014210038.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030810979 $9 978-3-030-81097-9
024 7 $a 10.1007/978-3-030-81097-9 $2 doi
035 $a 978-3-030-81097-9
050 4 $a Q334-342
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $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 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings / $c edited by Fairouz Kamareddine, Claudio Sacerdoti Coen.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XX, 249 p. 69 illus., 32 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 ; $v 12833
505 0 $a Formalizations -- Automatic Theorem Proving and Machine Learning -- Search and Classification -- Teaching and Geometric Reasoning -- Logic and Systems -- Abstracts of Invited Speakers.
520 $a This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*. The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 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. * The conference was held virtually due to the COVID-19 pandemic.
650 0 $a Artificial intelligence. $3 559380
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Application software. $3 528147
650 0 $a Education—Data processing. $3 1253610
650 0 $a Algorithms. $3 527865
650 1 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Computer Appl. in Social and Behavioral Sciences. $3 669920
650 2 4 $a Computers and Education. $3 669806
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Information Systems Applications (incl. Internet). $3 881699
700 1 $a Kamareddine, Fairouz. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 672286
700 1 $a Sacerdoti Coen, Claudio. $e editor. $1 https://orcid.org/0000-0002-4360-6016 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1304807
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030810962
776 0 8 $i Printed edition: $z 9783030810986
830 0 $a Lecture Notes in Artificial Intelligence ; $v 9285 $3 1253845
856 4 0 $u https://doi.org/10.1007/978-3-030-81097-9
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)