Search Results - Davis, Martin,
Martin Davis
Martin Davis may refer to:* Martin Davis (Australian footballer) (born 1936), Australian rules footballer * Martin Davis (Jamaican footballer) (born 1996), Jamaican footballer * Martin Davis (mathematician) (1928–2023), American mathematician * Martin Davis (tennis) (born 1958), American former tennis player * Martin Jay Davis (1937–2022), American astrologer, author and Olympic fencer * Martin K. Davis (1843–1936), Union Army soldier during the American Civil War * Martin S. Davis (1927–1999), Paramount Communications executive Provided by Wikipedia
- Showing 1 - 8 results of 8
-
1
Cartographic analysis of Soviet military city plans by Davis, Martin (Cartographer)
Published: Springer, 2022Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
2
Computability, complexity, and languages : fundamentals of theoretical computer science 2nd. ed. by Davis, Martin, 1928-2023
Published: Academic Press, Harcourt, Brace, 1994Description: xix, 609 pages : illustrations ; 24 cm.Call Number: Loading…
Located: Loading…Book Loading… -
3
The universal computer : the road from Leibniz to Turing 1st ed. by Davis, Martin, 1928-2023
Published: Norton, 2000Description: xii, 257 pages : illustrations ; 25 cm.Call Number: Loading…
Located: Loading…Book Loading… -
4
Computability, complexity, and languages : fundamentals of theoretical computer science by Davis, Martin, 1928-2023
Published: Academic Press, 1983Description: 1 online resource (xix, 425 pages) : illustrations.Call Number: Loading…Elsevier - Click here for access
Located: Loading…
eBook -
5
Computability, complexity, and languages : fundamentals of theoretical computer science 2nd ed. by Davis, Martin, 1928-2023, Sigal, Ron, Weyuker, Elaine J.
Published: Academic Press, Harcourt, Brace, 1994Description: 1 online resource (xix, 609 pages) : illustrations.Call Number: Loading…Elsevier - Click here for access
Located: Loading…
eBook -
6
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Published: Raven Press, 1965Other Authors: “…Davis, Martin, 1928-2023…”Description: 440 pages ; 25 cm.
Call Number: Loading…
Located: Loading…Book Loading… -
7
From linear operators to computational biology : essays in memory of Jacob T. Schwartz by SpringerLink (Online service)
Published: Springer, 2013Other Authors: “…Davis, Martin, 1928-2023…”Description: 1 online resource : portraits.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
8
Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings by LPAR (Conference) Suva, Fiji), SpringerLink (Online service)
Published: Springer, 2015Other Authors: “…Davis, Martin…”Description: 1 online resource.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook
Search Tools:
Related Subjects
Computational complexity
Formal languages
Machine theory
Computer science
Artificial intelligence
Cartography History
Computable functions
Computational biology
Computer logic
Computer programming
Electronic digital computers History
Gödel's theorem
Linear operators
Logic, Symbolic and mathematical
Programming languages (Electronic computers)
Recursive functions
Software engineering
Topographic maps History
Turing machines
Unsolvability (Mathematical logic)