Interactive Theorem Proving

Full text!
Format:
e-book
Title:
Interactive Theorem Proving
Author:
Blanchette, Jasmin Christian;Merz, Stephan; Merz, Stephan
Language:
English
Publisher:
Springer International Publishing 2016
ISBN:
3-319-43143-9
3-319-43144-7
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000837704?locale=en