Logic for Programming, Artificial Intelligence, and Reasoning 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년