Gilles Dowek
Follow to get improved recommendations.
Books by Gilles Dowek
Introduction to the Theory of Programming Languages
$44.53
Proofs and Algorithms: An Introduction to Logic and Computability
$39.95
Principles of Programming Languages (Undergraduate Topics in Computer Science)
$37.99
Computation, Proof, Machine: Mathematics Enters a New Age
$108.19
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)
$60.42
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
$59.87
The Age of Algorithms
$28.62 - $60.99
Les principes des langages de programmation
Out of Stock
Copyright © 2026 Thriftbooks.com Terms of Use
| Privacy Policy | Do Not
Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
