Cover Image

Automated theorem proving /

Show other versions (1)
Bibliographic Details
Main Author: Bibel, W., 1938-
Format: Book
Language:English
Published: Braunschweig : F. Vieweg, 1982.
Subjects:
Automatic theorem proving.
Logic, Symbolic and mathematical.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.A96 B5 1982
 
Call Number Status Get It
QA76.9.A96 B5 1982 Available