Logic for Programming, Artificial Intelligence, and Reasoning المزيد من كتب Martin Davis, Ansgar Fehnker, Annabelle McIver & Andrei Voronkov

Computability and Unsolvability Computability and Unsolvability
Computability and Unsolvability
٢٠١٣
Applied Nonstandard Analysis Applied Nonstandard Analysis
Applied Nonstandard Analysis
٢٠١٤
The Universal Computer The Universal Computer
The Universal Computer
٢٠١٨
Astrolocality Astrology Astrolocality Astrology
Astrolocality Astrology
٢٠١٤
Computability, Complexity, and Languages Computability, Complexity, and Languages
Computability, Complexity, and Languages
١٩٩٤
Practical Injection Molding Practical Injection Molding
Practical Injection Molding
٢٠٠١
The Diary of a Shropshire Farmer The Diary of a Shropshire Farmer
The Diary of a Shropshire Farmer
٢٠١١
A Cartographic Analysis of Soviet Military City Plans A Cartographic Analysis of Soviet Military City Plans
A Cartographic Analysis of Soviet Military City Plans
٢٠٢١
The Harvest War The Harvest War
The Harvest War
٢٠١٩
The Diary of a Shropshire Farmer The Diary of a Shropshire Farmer
The Diary of a Shropshire Farmer
٢٠١١
A First Course in Functional Analysis A First Course in Functional Analysis
A First Course in Functional Analysis
٢٠١٣
From Linear Operators to Computational Biology From Linear Operators to Computational Biology
From Linear Operators to Computational Biology
٢٠١٢