Zoeken

U zocht naar: Auteur Middeldorp, Aart Filter Auteur: Middeldorp, Aart weghalen Type e-book Filter Type: e-book weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Deduction - CADE-25
thumbnail
Full text!
Auteur:
Felty; Middeldorp, Aart
Uitgever:
Springer International Publishing 2015
Type:
e-book
2. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei; Middeldorp, Aart; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
3. Processes, Terms and Cycles: Steps on the Road to Infinity
thumbnail
Full text!
Auteur:
Middeldorp, Aart; Kanade, Takeo; Oostrom, Vincent; Raamsdonk, Femke; Vrijer, Roel; van Oostrom, Vincent; van Raamsdonk, Femke; de Vrijer, Roel
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book