Toggle navigation
Hours
Libraries & Collections
Joyner Library
Laupus Health Sciences Library
Music Library
Digital Collections
Special Collections
Teaching Resources
The ScholarShip Institutional Repository
Country Doctor Museum
Get Help
Toggle navigation
ECU Libraries Catalog
Browse
Call Number
Title
Author
Subject
Series
Course Reserves
More
Search History
New Items
Suggest a Purchase
My Account
Search in
All Fields
Title
Author
Journal Title
Subject
Series
ISBN/ISSN
Publisher
search for
Search
Advanced Search
ECU Libraries Catalog
Toggle facets
Find materials by
Location
Joyner Library
11
Laupus Library
1
Music Library
1
Format
Book
10
Print
9
Electronic
1
Video (DVD)
1
Publication Date
Publication Date range begin
–
Publication Date range end
Current results range from
1958
to
2012
View distribution
Call Number
Q - Science
10
Collection
Joyner Stacks
9
Joyner DVD
1
Joyner E-Resources
1
Laupus E-Resources
1
Language
English
11
Genre
Biographical films
1
Biography
1
Documentary films
1
Electronic books
1
Search Constraints
Clear Search
You searched for:
Author facet
Davis, Martin, 1928-2023
Remove constraint Author facet: Davis, Martin, 1928-2023
« Previous |
1
-
10
of
11
|
Next »
Sort by Relevance
Relevance
Year DESC
Year ASC
Author
Title
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
Search Results
The universal computer : the road from Leibniz to Turing
by
Davis, Martin, 1928-2023
2012
Format:
Book and Print
✔ Available
Joyner - General Stacks
Call Number:
QA76.17 .D38 2012
Julia Robinson and Hilbert's tenth problem
2008
Format:
Video (DVD)
✔ Available
Joyner - Compact DVDs
Call Number:
QA242 .J85 2008 DVD
Computability, complexity, and languages : fundamentals of theoretical computer science
by
Davis, Martin, 1928-2023
1994
Format:
Book and Print
✔ Available
Joyner - General Stacks
Call Number:
QA267 .D38 1994
Solvability, provability, definability : the collected works of Emil L. Post
by
Post, Emil Leon, 1897-1954
1994
Format:
Book and Print
✔ Available
Joyner - General Stacks
Call Number:
QA3 .P78 1994
Computability, complexity, and languages fundamentals of theoretical computer science
by
Davis, Martin, 1928-2023
1983
Format:
Electronic and Book
✔ Available
Call Number:
Access Content Online
Computability, complexity, and languages : fundamentals of theoretical computer science
by
Davis, Martin, 1928-2023
1983
Format:
Book and Print
✔ Available
Joyner - General Stacks
Call Number:
QA267 .D38 1983
Applied nonstandard analysis
by
Davis, Martin, 1928-2023
1977
Format:
Book and Print
✔ Available
Joyner - General Stacks
Call Number:
QA299.82 .D38
A first course in functional analysis
by
Davis, Martin, 1928-2023
1967
Format:
Book and Print
✔ Available
Joyner - General Stacks
Call Number:
QA320 .D32
The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions
by
Davis, Martin, 1928-2023
1965
Format:
Book and Print
✔ Available
Joyner - General Stacks
Call Number:
QA248.5 .D33
Lecture notes on mathematical logic, fall 1959, New York University
by
Davis, Martin, 1928-2023
1959
Format:
Book and Print
✔ Available
Joyner - General Stacks
Call Number:
QA9 .D38X
« Previous
Next »
1
2