Interactive Theorem Proving

Type:

e-book

Titel:

Interactive Theorem Proving

Auteur:

Urban; Zhang, Xingyuan

Taal:

Engels

Uitgever:

Springer International Publishing 2015

ISBN:

3-319-22101-9
3-319-22102-7

Permalink:

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