國立虎尾科技大學 |

Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Intelligent Computer Mathematics/ edited by Christoph Benzmüller, Bruce Miller.
其他題名:	13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /
其他作者:	Benzmüller, Christoph.
面頁冊數:	XI, 337 p. 445 illus., 54 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Artificial intelligence. -
電子資源:	https://doi.org/10.1007/978-3-030-53518-6
ISBN:	9783030535186

Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /
Intelligent Computer Mathematics13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /[electronic resource] :edited by Christoph Benzmüller, Bruce Miller. - 1st ed. 2020. - XI, 337 p. 445 illus., 54 illus. in color.online resource. - Lecture Notes in Artificial Intelligence ;12236. - Lecture Notes in Artificial Intelligence ;9285.

Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks.

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic.

ISBN: 9783030535186

Standard No.: 10.1007/978-3-030-53518-6doiSubjects--Topical Terms:

559380
Artificial intelligence.

LC Class. No.: Q334-342

Dewey Class. No.: 006.3

Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /
LDR:02149nam a22004095i 4500 001 1025688
003 DE-He213
005 20200717084514.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030535186 $9 978-3-030-53518-6
024 7 $a 10.1007/978-3-030-53518-6 $2 doi
035 $a 978-3-030-53518-6
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 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / $c edited by Christoph Benzmüller, Bruce Miller.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XI, 337 p. 445 illus., 54 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 12236
505 0 $a Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks.
520 $a This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic.
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computers. $3 565115
650 0 $a Application software. $3 528147
650 0 $a Software engineering. $3 562952
650 1 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Information Systems and Communication Service. $3 669203
650 2 4 $a Computer Applications. $3 669785
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 2 4 $a Computing Milieux. $3 669921
700 1 $a Benzmüller, Christoph. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 930826
700 1 $a Miller, Bruce. $e editor. $1 https://orcid.org/0000-0002-2300-0367 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1273588
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030535179
776 0 8 $i Printed edition: $z 9783030535193
830 0 $a Lecture Notes in Artificial Intelligence ; $v 9285 $3 1253845
856 4 0 $u https://doi.org/10.1007/978-3-030-53518-6
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)