Zoeken

U zocht naar: Auteur Gilles Dowek Filter Auteur: Gilles Dowek weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

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