Gilles Dowek

· 20 obras en el catálogo

Obras

Theorem proving in higher order logics

Les me tamorphoses du calcul

Proofs and Algorithms

Le temps des algorithmes

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Computation, proof, machine

Quand la science a dit c'est impossible

Pourquoi moi ?

RRewriting and Typed Lambda Calculi

Rewriting and Typed Lambda Calculi

AAge of Algorithms

Age of Algorithms

AAutomated Reasoning

Automated Reasoning

LLes métamorphoses du calcul

Les métamorphoses du calcul

PProceedings of the Eleventh Workshop on Logical Frameworks a

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages

LLa logique

La logique

La Logica

Peut-on croire les sondages?

PPodemos Creer En Los Sondeos? (Las Manzanas Del Saber)

Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)

Voulez-vous jouer avec les maths ?

TTactical conflict detection and resolution in a 3-D airspace

Tactical conflict detection and resolution in a 3-D airspace

Principles of programming languages