Gilles Dowek

Introduction to the Theory of Programming Languages

Gilles Dowek

$44.44

The Age of Algorithms

Gilles Dowek

$26.80 - $60.99

Les principes des langages de programmation

Gilles Dowek

Out of Stock

Proofs and Algorithms: An Introduction to Logic and Computability

Gilles Dowek

$39.95

Principles of Programming Languages (Undergraduate Topics in Computer Science)

Gilles Dowek

$27.49 - $37.99

Computation, Proof, Machine: Mathematics Enters a New Age

Gilles Dowek

Out of Stock

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)

Gilles Dowek

$60.35

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Gilles Dowek

$59.78