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.