Search

You searched for: Auteur Gilles Dowek Remove constraint Auteur: Gilles Dowek
1 - 5 of 5
Number of results to display per page

Search Results

1. Rewriting and Typed Lambda Calculi
thumbnail
Full text!
Author:
Gilles Dowek
Publisher:
Springer International Publishing 2014
Format:
e-book
2. Principles of Programming Languages
thumbnail
Full text!
Author:
Dowek, Gilles
Publisher:
Springer London 2009
Format:
e-book
3. Proofs and Algorithms
thumbnail
Full text!
Author:
Dowek, Gilles
Publisher:
Springer London 2011
Format:
e-book
4. Automated Reasoning
thumbnail
Full text!
Author:
Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles; Siekmann, Jörg
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
5. Introduction to the Theory of Programming Languages
thumbnail
Full text!
Author:
Dowek, Gilles; Lévy, Jean-Jacques; Lévy, Jean-Jacques
Publisher:
Springer London 2011
Format:
e-book