Computation, proof, machine mathematics enters a new age

By:

Contributor(s):

Publication details: 2015 Cambridge University Press New YorkDescription: viii, 152pISBN:

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
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.

to post a comment.