Logic for Programming, Artificial Intelligence, and Reasoning More Books by Martin Davis, Ansgar Fehnker, Annabelle McIver & Andrei Voronkov

Computability and Unsolvability Computability and Unsolvability
Computability and Unsolvability
2013
Applied Nonstandard Analysis Applied Nonstandard Analysis
Applied Nonstandard Analysis
2014
The Universal Computer The Universal Computer
The Universal Computer
2018
Astrolocality Astrology Astrolocality Astrology
Astrolocality Astrology
2014
Computability, Complexity, and Languages Computability, Complexity, and Languages
Computability, Complexity, and Languages
1994
Practical Injection Molding Practical Injection Molding
Practical Injection Molding
2001
The Diary of a Shropshire Farmer The Diary of a Shropshire Farmer
The Diary of a Shropshire Farmer
2011
A Cartographic Analysis of Soviet Military City Plans A Cartographic Analysis of Soviet Military City Plans
A Cartographic Analysis of Soviet Military City Plans
2021
The Harvest War The Harvest War
The Harvest War
2019
The Diary of a Shropshire Farmer The Diary of a Shropshire Farmer
The Diary of a Shropshire Farmer
2011
A First Course in Functional Analysis A First Course in Functional Analysis
A First Course in Functional Analysis
2013
From Linear Operators to Computational Biology From Linear Operators to Computational Biology
From Linear Operators to Computational Biology
2012