Martin Davis
· 78 obras en el catálogo
Obras — página 2
Egin
2004
Extensions and corollaries of recent work on Hilbert's tenth problem
1961
The Hogan Mystique (Classic Golf Champions)
1997
La Sra.hudson Y El Misterio De Los Esp
2004
Lectures on Modern Math
1967
A machine program for theorem-proving
1961
OS Dianc Rhai
2003
Rube Goldberg on Golf
2004
Traditions and tales of the Navy
2001
The Undecidable
2004
The Universal Computer
2000
Engines of Logic
2001
The greatest of them all
1996
Computational Logic and Set Theory
First Course in Functional Analysis
Student Housing and the Law
Handmaiden of The Sun
Practical Injection Molding
Universal Computer
