Placeholder text
A Machine Program for Theorem-Proving
By Martin Davis
0 - Default Title
Product details
Binding:
Paperback
Number of Pages:
38
Release Date:
2011-08-31
Publication Date:
2011-08-31
Publisher:
Nabu Press
Languages:
Published:
English,
Original:
English
ISBN10:
1179051785
Weight:
86 g
Currently sold out