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

Bibliographic Details
Main Author:	Wos, Larry
Other Authors:	Pieper, Gail W.
Format:	Book
Language:	English
Published:	Singapore ; River Edge, NJ : World Scientific, [1999]
Subjects:	Automatic theorem proving.

Description
Physical Description:	xx, 587 pages : illustrations ; 23 cm. + 1 CD-ROM(4 3/4 in.)
Bibliography:	Includes bibliographical references (pages 561-569) and index.
ISBN:	9810239106