語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Intelligent Computer Mathematics = 1...
~
Miller, Bruce.
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 /
其他作者:
Miller, Bruce.
面頁冊數:
XI, 337 p. 445 illus., 54 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Computing Milieux. -
電子資源:
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 Mathematics
13th 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:
669921
Computing Milieux.
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
2 4
$a
Computing Milieux.
$3
669921
650
2 4
$a
Software Engineering/Programming and Operating Systems.
$3
669780
650
2 4
$a
Computer Applications.
$3
669785
650
2 4
$a
Information Systems and Communication Service.
$3
669203
650
2 4
$a
Theory of Computation.
$3
669322
650
1 4
$a
Artificial Intelligence.
$3
646849
650
0
$a
Software engineering.
$3
562952
650
0
$a
Application software.
$3
528147
650
0
$a
Computers.
$3
565115
650
0
$a
Artificial intelligence.
$3
559380
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
700
1
$a
Benzmüller, Christoph.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
930826
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)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入