Search

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

Search Results

1. Principles of Programming Languages
thumbnail
Full text!
Author:
Dowek, Gilles
Publisher:
Springer London 2009
Format:
e-book
2. Proofs and Algorithms
thumbnail
Full text!
Author:
Dowek, Gilles
Publisher:
Springer London 2011
Format:
e-book
3. Automated Reasoning
thumbnail
Full text!
Author:
Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles; Siekmann, Jörg
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
4. 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
5. Rewriting and Typed Lambda Calculi
thumbnail
Full text!
Author:
Gilles Dowek
Publisher:
Springer International Publishing 2014
Format:
e-book