Computation, proof, machine : mathematics enters a new age / Gilles Dowek
Material type:
- 9780521133777
- 510.9 DOW-G
Item type | Current library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
![]() |
BITS Pilani Hyderabad | 510 | General Stack (For lending) | 510.9 DOW-G (Browse shelf(Opens below)) | Available | 32178 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.