Automated theorem proving : theory and practice - Newborn, Monty (New York : Springer, 2000)
Accompanied by 1 CD-ROM : no cd 04220
Includes bibliographical references and index.
1 3
Keywords: Automatic theorem proving