Search

You searched for: Auteur Blanchette, Jasmin Christian;Merz, Stephan Remove constraint Auteur: Blanchette, Jasmin Christian;Merz, Stephan
1 entry found
Number of results to display per page

Search Results

1. Interactive Theorem Proving
thumbnail
Full text!
Author:
Blanchette, Jasmin Christian;Merz, Stephan; Merz, Stephan
Publisher:
Springer International Publishing 2016
Format:
e-book