國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Automated theorem proving : theory a...

~

Newborn, Monroe

Automated theorem proving : theory and practice

Record Type:	Language materials, printed : monographic
Title Information:	theory and practice
Author:	NewbornMonroe,
Place of Publication:	New York
Published:	Springer;
Year of Publication:	c2001
Description:	xiii, 231 pill : 24 cm; +1 computer laser optical disc (4 3/4 in)+
Subject:	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

based on 0 review(s)

Items

2 records • Pages 1 •
1

Inventory Number

No. of reservations

K021334

圖書館1F 流通櫃檯

一般圖書(BOOK)

西文光碟片(K)

004.015113 N534 2001 c.2

一般使用(Normal)

On shelf

0

E021334

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

004.015113 N534 2001

一般使用(Normal)

On shelf

0

2 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login