Items related to Automated theorem proving: A logical basis (Fundamental...

Automated theorem proving: A logical basis (Fundamental studies in computer science) - Hardcover

Donald W. Loveland

 
9780720404999: Automated theorem proving: A logical basis (Fundamental studies in computer science)
Hardcover
ISBN 10: 0720404991 ISBN 13: 9780720404999
Publisher: sole distributor for the U.S.A. and Canada, Elsevier North-Holland, 1978

Synopsis

Automated Theorem A Logical Basis

"synopsis" may belong to another edition of this title.

Publisher
sole distributor for the U.S.A. and Canada, Elsevier North-Holland
Publication date
1978
Language
English
ISBN 10 
0720404991
ISBN 13 
9780720404999
Binding
Hardcover
Edition number
1
Number of pages
405