AboutSign inJoin
User photo

Gilles Dowek

About

Gilles Dowek was a French computer scientist and logician.

Books

Introduction to the Theory of Programming Languages
Introduction to the Theory of Programming Languages
Gilles Dowek, Jean-Jacques Lévy
Proofs and Algorithms
Proofs and Algorithms
Gilles Dowek
Rewriting and Typed Lambda Calculi
Rewriting and Typed Lambda Calculi
Gilles Dowek
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Gilles Dowek, Yves Bertot, Andre Hirschowitz, Christine Paulin, Laurent Thery
Automated Reasoning
Automated Reasoning
Gilles Dowek, Peter Baumgartner, Alessandro Armando
Proofs and Algorithms
Proofs and Algorithms
Gilles Dowek
Computation, Proof, Machine
Computation, Proof, Machine
Gilles Dowek
The Age of Algorithms
The Age of Algorithms
Serge Abiteboul, Gilles Dowek
The Age of Algorithms
The Age of Algorithms
Serge Abiteboul, Gilles Dowek

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian