Gå direkte til innholdet
Implementing Mathematics with The Nuprl Proof Development System
Spar

Implementing Mathematics with The Nuprl Proof Development System

Forfatter:
Engelsk
ISBN
9781468059106
Språk
Engelsk
Vekt
417 gram
Utgivelsesdato
1.1.2012
Antall sider
310