Gå direkt till innehållet
Implementing Mathematics with The Nuprl Proof Development System
Spara

Implementing Mathematics with The Nuprl Proof Development System

Författare:
Engelska
Författare
R. L. Constable
ISBN
9781468059106
Språk
Engelska
Vikt
417 gram
Utgivningsdatum
1.1.2012
Sidor
310