A fascinating country in the world of computing
Subtitle: your guide to automated reasoning
By: Larry Wos, Gail W. Pieper.
Contributors: Pieper, Gail W.
Publisher: World Scientific
Published: 1999
Place of publication: Singapore; River Edge, NJ
Language: eng
Number of pages: 587
Subjects: Automatic theorem proving
Notes: Includes bibliographical references (p. 561-569) and index.