Search

You searched for: Auteur Blanchette, Jasmin Remove constraint Auteur: Blanchette, Jasmin
1 - 2 of 2
Number of results to display per page

Search Results

1. Automated Reasoning
thumbnail
Full text!
Author:
Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk
Publisher:
Springer International Publishing 2022
Format:
e-book
2. Interactive Theorem Proving
thumbnail
Full text!
Author:
Blanchette, Jasmin Christian;Merz, Stephan; Merz, Stephan
Publisher:
Springer International Publishing 2016
Format:
e-book