Computation, proof, machine mathematics enters a new age
Publication details: 2015 Cambridge University Press New YorkDescription: viii, 152pISBN:- 9780521133777
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library | 51-3(091) DOW (Browse shelf(Opens below)) | Available | 00075167 |
There are no comments on this title.