Logic for computer science: foundations of automatic theorem proving

Bibliographic Details
Main Author: Gallier, Jean H; Author
Format: Printed Book
Published: New York, John Wiley & Sons, Inc 1987
Subjects:
Automatic theorem proving
Computer science
Logic, Symbolic and mathematical

MG University

Holdings details from MG University
Call Number: 511.3 M7
Copy Live Status Unavailable

Similar Items