Cover Image

Automated theorem proving : theory and practice /

Show other versions (1)
Bibliographic Details
Main Author: Newborn, Monroe
Format: Book
Language:English
Published: New York : Springer, [2001]
Subjects:
Automatic theorem proving.

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA76.9.A96 N49 2001
 
Call Number Status Get It
QA76.9.A96 N49 2001 Available