Search

You searched for: Auteur Felty, Amy Remove constraint Auteur: Felty, Amy
1 entry found
Number of results to display per page

Search Results

1. Interactive Theorem Proving
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Felty, Amy; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book