Gilles Dowek's Documents

Gilles Dowek's Documents

Proofs and Algorithms: An Introduction to Logic and Computability

Proofs and Algorithms: An Introduction to Logic and Computability
Read more
Principles of programming languages

Principles of programming languages
Read more
Proofs and Algorithms: An Introduction to Logic and Computability

Proofs and Algorithms: An Introduction to Logic and Computability
Read more
Les Métamorphoses du calcul: Une étonnante histoire des mathématiques

Les Métamorphoses du calcul: Une étonnante histoire des mathématiques
Read more
Principles of Programming Languages

Principles of Programming Languages
Read more
Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages
Read more
Proofs and algorithms: An introduction to logic and computability

Proofs and algorithms: An introduction to logic and computability
Read more
Automated Reasoning, 4 conf., IJCAR 2008

Automated Reasoning, 4 conf., IJCAR 2008
Read more
Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99
Read more
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

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

Difference and Repetition
Read more
Difference and Repetition

Difference and Repetition
Read more
Difference and Repetition

Difference and Repetition
Read more
Le Bergsonisme

Le Bergsonisme
Read more
An initiation to logarithmic Sobolev inequalities

An initiation to logarithmic Sobolev inequalities
Read more
Crítica e clínica

Crítica e clínica
Read more
Le billet de banque en France, 1796-1803 : De la diversité au monopole (Collection Etudes d'économie politique)

Le billet de banque en France, 1796-1803 : De la diversité au monopole (Collection Etudes d'économie politique)
Read more
Foucault

Foucault
Read more
Introduction to Operator Space Theory (London Mathematical Society Lecture Note Series)

Introduction to Operator Space Theory (London Mathematical Society Lecture Note Series)
Read more
Économie des ressources naturelles

Économie des ressources naturelles
Read more
Kant's Critical Philosophy: The Doctrine of the Faculties

Kant's Critical Philosophy: The Doctrine of the Faculties
Read more
Derniere prophetie, Tome 3 : Sous le signe de Ba'al

Derniere prophetie, Tome 3 : Sous le signe de Ba'al
Read more
Cinema 1: The Movement-Image

Cinema 1: The Movement-Image
Read more
Cinema 2: The Time-Image

Cinema 2: The Time-Image
Read more
Cinema 2: The Time-Image

Cinema 2: The Time-Image
Read more
L'univers du temps libre et des valeurs chez les jeunes

L'univers du temps libre et des valeurs chez les jeunes
Read more
An Initiation to Logarithmic Sobolev Inequalities (SMF AMS Texts & Monographs)

An Initiation to Logarithmic Sobolev Inequalities (SMF AMS Texts & Monographs)
Read more
Cuatro lecciones sobre Kant

Cuatro lecciones sobre Kant
Read more
El Pliegue The Pleat

El Pliegue The Pleat
Read more
L'Anti-Oedipe & Mille Plateaux

L'Anti-Oedipe & Mille Plateaux
Read more