Image from Amazon.com
Computation, proof, machine : mathematics enters a new age / Gilles Dowek
Material type:
TextPublication details: New York Cambridge University Press 2015Description: 152 pISBN: - 9780521133777
- 510.9 DOW-G
| Item type | Current library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
Books
|
BITS Pilani Hyderabad | 510 | General Stack (For lending) | 510.9 DOW-G (Browse shelf(Opens below)) | Available | 32178 |
Total holds: 0
Browsing BITS Pilani Hyderabad shelves, Shelving location: General Stack (For lending), Collection: 510 Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 510.9 AND-M Who gave you the Epsilon? and other tales of mathematical history / | 510.9 BOU-N Elements of the history of mathematics / | 510.9 DEB-S The magical world of mathematics / | 510.9 DOW-G Computation, proof, machine : | 510.9 SEI-C Zero : | 510.9 STE-I Taming the infinite : the story of mathematics | 510.9 ZEL-P The mathematics of the gods and the algorithms of men : a cultural history / |
There are no comments on this title.
Log in to your account to post a comment.