Search

You searched for: Auteur Middeldorp, Aart Remove constraint Auteur: Middeldorp, Aart
1 - 3 of 3
Number of results to display per page

Search Results

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