國立高雄大學圖資館 |

Language: English

Back

A fascinating country in the world o...

Pieper, Gail W.

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	A fascinating country in the world of computing :Larry Wos, Gail W. Pieper.
Reminder of title:	your guide to automated reasoning /
Author:	Wos, Larry.
other author:	Pieper, Gail W.
Published:	Singapore :World scientific,c1999.
Description:	xx, 587 p. ;23 cm. +1 computer optical disc (4 3/4 in.)
Subject:	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