國立高雄大學圖資館 |

語系: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

A fascinating country in the world o...

Pieper, Gail W.

A fascinating country in the world of computing :your guide to automated reasoning /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	A fascinating country in the world of computing :Larry Wos, Gail W. Pieper.
其他題名:	your guide to automated reasoning /
作者:	Wos, Larry.
其他作者:	Pieper, Gail W.
出版者:	Singapore :World scientific,c1999.
面頁冊數:	xx, 587 p. ;23 cm. +1 computer optical disc (4 3/4 in.)
標題:	Automatic theorem proving.
ISBN:	9810239106 :

A fascinating country in the world of computing :your guide to automated reasoning /
Wos, Larry.

A fascinating country in the world of computing :your guide to automated reasoning /Larry Wos, Gail W. Pieper. - Singapore :World scientific,c1999. - xx, 587 p. ;23 cm. +1 computer optical disc (4 3/4 in.)

Includes bibliographical references and (p. [561]-569) index.

ISBN: 9810239106 :NT2980Subjects--Topical Terms:

206222
Automatic theorem proving.

LC Class. No.: QA76.9.A96 / W675 1999

A fascinating country in the world of computing :your guide to automated reasoning /
LDR:00501nam 2200121 a 450 001 152269
008 090528s1999 si b 001 0 eng d
020 $a 9810239106 : $c NT2980
035 $a 00050027
050 0 0 $a QA76.9.A96 $b W675 1999
100 $a Wos, Larry. $3 206221
245 1 2 $a A fascinating country in the world of computing : $b your guide to automated reasoning / $c Larry Wos, Gail W. Pieper.
260 $a Singapore : $c c1999. $b World scientific,
300 $a xx, 587 p. ; $c 23 cm. + $e 1 computer optical disc (4 3/4 in.)
504 $a Includes bibliographical references and (p. [561]-569) index.
650 $a Automatic theorem proving. $3 206222
700 $a Pieper, Gail W. $3 206220