Martin Davis

New Releases

Language

Ebook Format

DRM

1 - 10 of 12 results

The Universal Computer: The Road from Leibniz to Turing

The Universal Computer

The Road from Leibniz to Turing

CRC Press (2011)
US$33.95

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who...

Applied Nonstandard Analysis
Dover Publications (2014)
US$15.95

This applications-oriented text assumes no knowledge of mathematical logic in its development of...

Computability and Unsolvability
Dover Publications (2013)
US$16.95

Classic graduate-level introduction to theory of computability. Discusses general theory of...

A First Course in Functional Analysis
Dover Publications (2013)
US$12.95

Designed for undergraduate mathematics majors, this self-contained exposition of Gelfand's proof of...

The Universal Computer: The Road from Leibniz to Turing, Third Edition

The Universal Computer (3rd ed.)

The Road from Leibniz to Turing, Third Edition

CRC Press (2018)
US$39.95

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who...

From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
Springer London (2012)
US$139.00

This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant...

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Computability, Complexity, and Languages (2nd ed.)

Fundamentals of Theoretical Computer Science

Martin Davis, Ron Sigal and 1 more...
Elsevier Science (1994)
US$72.95

Computability, Complexity, and Languages is an introductory text that covers the key areas of...

Parole, Pardon, Pass and Amnesty Documents of the Civil War: An Illustrated History
McFarland & Company, Inc., Publishers (2013)
US$55.00

This book presents the little-studied story of the history and documents of the pardons, passes,...

Alan M. Turing: Centenary Edition

Alan M. Turing

Centenary Edition

Sara Turing, Martin Davis and 2 more...
Cambridge University Press (2012)
US$11.50

Containing never-before-published material, this fascinating account sheds new light on one of the...

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

Martin Davis, Ansgar Fehnker and 2 more...
Springer Berlin Heidelberg (2015)
US$99.00

This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming,...