Martin Davis
7 published titles
Applied nonstandard analysis
1 edition
- ISBN: 0471198978
- Wiley
- 1977
- Details
Computability & unsolvability
1 edition
- ISBN: 0486614719
- Dover
- 1982
- Details
Computability, complexity, and languages : fundamentals of theoretical computer science
1 edition
- ISBN: 0122063821
- Academic
- 1994
- Details
Engines of logic : mathematicians and the origin of the computer
1 edition
- ISBN: 0393047857
- Norton
- 2000
- Details
The universal computer : the road from Leibniz to Turing
2 editions
- ISBN: 0393047857
- Norton
- 2000
- Details
- ISBN: 0393322297
- W. W. Norton
- 2001
- Details
From linear operators to computational biology : essays in memory of Jacob T. Schwartz
(Contributor)
1 edition
- ISBN: 9781447142812
- Springer
- 2013
- Details
Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20, 2015, Suva, Fiji, November 24-28, 2015 : proceedings
(Contributor)
1 edition
- ISBN: 9783662488980
- Springer
- 2015
- Details
