國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Automated theorem proving : theory a...

~

Newborn, Monroe

Automated theorem proving : theory and practice

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	theory and practice
作者:	NewbornMonroe,
出版地:	New York
出版者:	Springer;
出版年:	c2001
面頁冊數:	xiii, 231 pill : 24 cm; +1 computer laser optical disc (4 3/4 in)+
標題:	Automatic theorem proving -
ISBN:	0387950753

Automated theorem proving : theory and practice
Newborn, Monroe

Automated theorem proving : theory and practice / Monty Newborn - New York : Springer, c2001. - xiii, 231 p ; ill ; 24 cm.
Includes bibliographical references (p. [207]-210) and index.
ISBN 0387950753
Automatic theorem proving

Automated theorem proving : theory and practice
LDR:00642cam 2200181 i 450 001 454182
005 20101023161537.0
009 a00056315
010 1 $1 673 $a 0387950753 $b (hard) $d NT
100 $a 20080130f 2001m y0engy01 b
101 0 $a eng
200 1 $a Automated theorem proving $e theory and practice $f Monty Newborn
210 $a New York $c Springer $d c2001
215 0 $a xiii, 231 p $c ill $d 24 cm $e +1 computer laser optical disc (4 3/4 in)
320 $a Includes bibliographical references (p. [207]-210) and index
606 $a Automatic theorem proving $3 414208 $2 lc $3 724079
676 $a 004.015113 $b N534
676 $a 004/.01/5113 $v 21
680 $a QA76.9.A96 $b N49 2001
700 $a Newborn $b Monroe $3 437649
801 1 $a cw $b 國立虎尾科技大學圖書館圖書館 $c 20020118

筆 0 讀者評論

館藏

2 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

K021334

圖書館1F 流通櫃檯

一般圖書(BOOK)

西文光碟片(K)

004.015113 N534 2001 c.2

一般使用(Normal)

在架

0

E021334

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

004.015113 N534 2001

一般使用(Normal)

在架

0

2 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入