Machine Program for Theorem-ProvingMartin Davis
Machine Program for Theorem-Proving
Martin Davis, George Logemann, Donald Loveland · 2018
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2018
- Language
- English
- Publisher
- Creative Media Partners, LLC
- Editions
- 1
- ISBN
- 9781379081265
Data source: Wikidata
More by Martin Davis
Il calcolatore universaleMartin Davis
Il calcolatore universale
Martin Davis · 2003
Cartographic Analysis of Soviet Military City PlansMartin Davis
Cartographic Analysis of Soviet Military City Plans
Martin Davis · 2022
Handmaiden of The SunMartin Davis
Handmaiden of The Sun
Martin Davis · 2020
From Linear Operators to Computational BiologyMartin Davis
From Linear Operators to Computational Biology
Martin Davis · 2013
Student Housing and the LawMartin Davis
Student Housing and the Law
Martin Davis · 2008
Applied Nonstandard AnalysisMartin Davis
Applied Nonstandard Analysis
Martin Davis · 2005
Text and Materials on Housing LawMartin Davis
Text and Materials on Housing Law
Martin Davis · 2005
The UndecidableMartin Davis
The Undecidable
Martin Davis · 2004
Rube Goldberg on GolfMartin Davis
Rube Goldberg on Golf
Martin Davis · 2004
Dolly Varden, OhioMartin Davis
Dolly Varden, Ohio
Martin Davis · 2003