語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Mathematics mechanization and applic...
~
Gao, Xiao-Shan.
Mathematics mechanization and applications
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Mathematics mechanization and applications/ edited by Xiao-Shan Gao and Dongming Wang.
其他作者:
Wang, Dongming.
出版者:
San Diego :Academic Press, : c2000.,
面頁冊數:
xix, 551 p. :ill. ; : 26 cm.;
標題:
Automatic theorem proving. -
電子資源:
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:
9780127347608 (electronic bk.)
Mathematics mechanization and applications
Mathematics mechanization and applications
[electronic resource] /edited by Xiao-Shan Gao and Dongming Wang. - San Diego :Academic Press,c2000. - xix, 551 p. :ill. ;26 cm.
Includes bibliographical references (p. 507-539) and index.
ISBN: 9780127347608 (electronic bk.)
LCCN: 99066948 Subjects--Topical Terms:
674743
Automatic theorem proving.
LC Class. No.: QA218 / .M19 2000
Dewey Class. No.: 512.9/4
Mathematics mechanization and applications
LDR
:00823cam a22002174a 45
001
808737
005
20130329101510.0
008
150720s2000 caua sb 001 0 eng
010
$a
99066948
020
$a
9780127347608 (electronic bk.)
020
$a
9780127347608
035
$a
13002293
040
$a
DLC
$b
eng
$c
DLC
$d
DLC
041
0
$a
eng
042
$a
pcc
050
0 0
$a
QA218
$b
.M19 2000
082
0 0
$a
512.9/4
$2
21
245
0 0
$a
Mathematics mechanization and applications
$h
[electronic resource] /
$c
edited by Xiao-Shan Gao and Dongming Wang.
260
$a
San Diego :
$b
Academic Press,
$c
c2000.
300
$a
xix, 551 p. :
$b
ill. ;
$c
26 cm.
504
$a
Includes bibliographical references (p. 507-539) and index.
650
0
$a
Automatic theorem proving.
$3
674743
650
0
$a
Equations
$x
Numerical solutions
$x
Data processing.
$3
906093
700
1
$a
Wang, Dongming.
$3
672661
700
1
$a
Gao, Xiao-Shan.
$3
906092
856
4 0
$u
http://www.sciencedirect.com/science/book/9780127347608
$z
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入