Search

You searched for: Auteur Felty Remove constraint Auteur: Felty
1 - 2 of 2
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. Interactive Theorem Proving
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Felty, Amy; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book