Interactive Theorem Proving

Type:

e-book

Titel:

Interactive Theorem Proving

Auteur:

Ayala-Rincón; Muñoz, César A.

Taal:

Engels

Uitgever:

Springer International Publishing 2017

ISBN:

3-319-66106-X
3-319-66107-8

Permalink:

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