Zoeken

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

Zoekresultaten

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