東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

非線性代數方程組與定理機器證明 /

~

楊路

Linked to FindBook

Google Book

Amazon

博客來

非線性代數方程組與定理機器證明 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	非線性代數方程組與定理機器證明 / / 楊路,張景中,侯曉榮著
remainder title:	Nonlinear algebraic equation system and automated theorem proving
Author:	楊路
other author:	侯曉榮
Published:	上海市 : 上海科技教育出版社, : 1996,
Description:	203面 ; 22公分
Subject:	方程式論 -
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

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E0057195

四樓中文書區000-599(4F Eastern Language Books)

01.外借(書)_YB

一般圖書

313.5 4667

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login