Big Books of 2026

A Machine Program for Theorem-proving > Editions

by Martin D. Davis

Sort by
Format
Language
Editions
Showing 1-3 of 3
A machine program for theorem-proving
A machine program for theorem-proving (Paperback)
Published August 31st 2011 by Nabu Press
Paperback, 38 pages
Author(s):
ISBN:
9781179051789 (ISBN10: 1179051785)
ASIN:
1179051785
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
A Machine Program for Theorem-Proving...
A Machine Program for Theorem-Proving... (Paperback)
Published December 12th 2013 by Hardpress Publishing
Paperback, 42 pages
Author(s):
ISBN:
9781314710120 (ISBN10: 1314710125)
ASIN:
1314710125
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
A Machine Program for Theorem-proving
A Machine Program for Theorem-proving (Hardcover)
Published September 9th 2015 by Palala Press
Hardcover, 38 pages
Author(s):
ISBN:
9781342126283 (ISBN10: 1342126289)
ASIN:
1342126289
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page