Start Over
You searched for: author_facet Davis, Martin

Search Results

Cover image for The universal computer

The universal computer

Location
Access Content Online
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Location
Access Content Online
Cover image for From linear operators to computational biology

From linear operators to computational biology

  • 2013
  • Format: Electronic
Location
Access Content Online
Cover image for The universal computer

The universal computer

Location Call # Status
Joyner - General Stacks QA76.17 .D38 2012 ✔ Available
Cover image for Julia Robinson and Hilbert's tenth problem

Julia Robinson and Hilbert's tenth problem

  • 2008
  • Format: Video (DVD)
Location Call # Status
Joyner - Compact DVDs QA242 .J85 2008 DVD ✔ Available
Cover image for Solvability, provability, definability

Solvability, provability, definability

Location Call # Status
Joyner - General Stacks QA3 .P78 1994 ✔ Available
Cover image for Computability, complexity, and languages

Computability, complexity, and languages

Location Call # Status
Joyner - General Stacks QA267 .D38 1994 ✔ Available
Cover image for Computability, complexity, and languages

Computability, complexity, and languages

Location
Access Content Online
Cover image for Computability, complexity, and languages

Computability, complexity, and languages

Location Call # Status
Joyner - General Stacks QA267 .D38 1983 ✔ Available
Cover image for Applied nonstandard analysis

Applied nonstandard analysis

Location Call # Status
Joyner - General Stacks QA299.82 .D38 ✔ Available