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

Practical Injection Molding Practical Injection Molding
Practical Injection Molding
2001
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 Universal Computer The Universal Computer
The Universal Computer
2018
Astrolocality Astrology Astrolocality Astrology
Astrolocality Astrology
2014
The Diary of a Shropshire Farmer The Diary of a Shropshire Farmer
The Diary of a Shropshire Farmer
2011
From Linear Operators to Computational Biology From Linear Operators to Computational Biology
From Linear Operators to Computational Biology
2012