語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
非線性代數方程組與定理機器證明 /
~
楊路
FindBook
Google Book
Amazon
博客來
非線性代數方程組與定理機器證明 /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
非線性代數方程組與定理機器證明 / / 楊路,張景中,侯曉榮著
其他題名:
Nonlinear algebraic equation system and automated theorem proving
作者:
楊路
其他作者:
侯曉榮
出版者:
上海市 : 上海科技教育出版社, : 1996,
面頁冊數:
203面 ; 22公分
標題:
方程式論 -
ISBN:
754281379X
非線性代數方程組與定理機器證明 /
楊路
非線性代數方程組與定理機器證明 /
Nonlinear algebraic equation system and automated theorem proving楊路,張景中,侯曉榮著 - 第一版 - 上海市 : 上海科技教育出版社, 1996 - 203面 ; 22公分 - 非線性科學叢書. - 非線性科學叢書.
ISBN: 754281379X人民幣14.00元Subjects--Topical Terms:
2274733
方程式論
非線性代數方程組與定理機器證明 /
LDR
:00582nam 2200181 ir4500
001
47758
005
20110131154024.0
008
170413s1996 cc 000 u chi d
020
$a
754281379X
$q
(精裝) :
$c
人民幣14.00元
035
$a
ASBE89-1-30
035
$a
47758
040
$a
東華
$b
chi
$e
ccr
066
$c
$1
100
1
$a
楊路
$e
著
$3
2309315
245
1 0
$a
非線性代數方程組與定理機器證明 /
$c
楊路,張景中,侯曉榮著
246
1 3
$a
Nonlinear algebraic equation system and automated theorem proving
250
$a
第一版
260
$a
上海市 :
$b
上海科技教育出版社,
$c
1996
300
$a
203面 ;
$c
22公分
490
1
$a
非線性科學叢書
650
7
$a
方程式論
$2
csht
$3
2274733
700
1
$a
侯曉榮
$e
著
$3
2309316
700
1
$a
張景中
$e
著
$3
2281226
830
0
$a
非線性科學叢書
$3
2294711
筆 0 讀者評論
館藏地:
全部
四樓中文書區000-599(4F Eastern Language Books)
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E0057195
四樓中文書區000-599(4F Eastern Language Books)
01.外借(書)_YB
一般圖書
313.5 4667
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入