Dowek G.'s Documents

Dowek G.'s Documents

Proofs and algorithms: An introduction to logic and computability

Proofs and algorithms: An introduction to logic and computability
Read more
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
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
Current Studies in Italian Syntax: Essays Offered to Lorenzo Renzi

Current Studies in Italian Syntax: Essays Offered to Lorenzo Renzi
Read more
Giaur

Giaur
Read more
Social Life in Britain from the Conquest to the Reformation (Cambridge Library Collection - History)

Social Life in Britain from the Conquest to the Reformation (Cambridge Library Collection - History)
Read more
A study of Hegel's logic

A study of Hegel's logic
Read more
Complex variables

Complex variables
Read more
Handbook of Veterinary Obstetrics 2nd Edition

Handbook of Veterinary Obstetrics 2nd Edition
Read more
Solid-State Physics

Solid-State Physics
Read more
The Lovely Kittengirls of Mew Orleans

The Lovely Kittengirls of Mew Orleans
Read more
On the shoulders of giants: A course in single variable calculus

On the shoulders of giants: A course in single variable calculus
Read more
Introduction to Statistics and Data Analysis for Physicists

Introduction to Statistics and Data Analysis for Physicists
Read more
The Adoration of Addana

The Adoration of Addana
Read more
Cluster model interrelation with modern physical concepts

Cluster model interrelation with modern physical concepts
Read more
NEUROINFLAMMATION IN NEURONAL DEATH AND REPAIR

NEUROINFLAMMATION IN NEURONAL DEATH AND REPAIR
Read more
Surface Diffusion

Surface Diffusion
Read more
The Medieval Village (Cambridge Library Collection - History)

The Medieval Village (Cambridge Library Collection - History)
Read more
The Seleukid Royal Economy: The Finances and Financial Administration of the Seleukid Empire

The Seleukid Royal Economy: The Finances and Financial Administration of the Seleukid Empire
Read more
A Branch-and-cut Algorithm for the Undirected Rural Postman Problem

A Branch-and-cut Algorithm for the Undirected Rural Postman Problem
Read more
Ten Medieval Studies: with Four Appendices (Cambridge Library Collection - History)

Ten Medieval Studies: with Four Appendices (Cambridge Library Collection - History)
Read more
Polythiophenes: electrically conductive polymers

Polythiophenes: electrically conductive polymers
Read more
Polythiophenes - Electrically Conductive Polymers

Polythiophenes - Electrically Conductive Polymers
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