Automated Theorem Proving: A Logical Basis (Fundamental Studies in Computer Science, 6)
Currently there are no used
copies available. However, our inventory changes frequently. Please check back soon or try Book Fetch.
1978,
North-Holland, Amsterdam, Netherlands
ISBN-13: 9780720404999
Hardcover
|
Books by Donald W Loveland
|
|
|
|
