Computation, Proof, Machine: Mathematics Enters a New Age

Författare
Gilles Dowek
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Cambridge University Press 2015 Utgivningsland okänt / Ej specificerat