Interactive Theorem Proving

Type:

e-book

Titel:

Interactive Theorem Proving

Auteur:

Gerwin Klein, Ruben Gamboa; Gamboa, Ruben; Kittler, Josef

Taal:

Engels

Uitgever:

Springer International Publishing 2014

ISBN:

3-319-08969-2
3-319-08970-6

Permalink:

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