Interactive Theorem Proving

Type:

e-book

Titel:

Interactive Theorem Proving

Auteur:

Blanchette, Jasmin Christian;Merz, Stephan; Merz, Stephan

Taal:

Engels

Uitgever:

Springer International Publishing 2016

ISBN:

3-319-43143-9
3-319-43144-7

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000837704