Computation, proof, machine Mathematics enters a new age by Gilles Dowek

By:

Dowek, Gilles

Material type: Book

BookLanguage: English Series: ; Current publication frequency: .Publication details: New York: Cambridge University Press, 2015.Edition: Description: 152 p,: 22 cmISBN:

9780521133777

Subject(s):

DDC classification:

510.9 DOW

LOC classification:

List(s) this item appears in: Mathematics

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	IIT Gandhinagar	General	510.9 DOW (Browse shelf(Opens below))	Available		022181

Browsing IIT Gandhinagar shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	401 BOR Philosophy of language: historical foundations and contemporary issues	523.1 VIS Universe unveiled: the cosmos in my bubble bath	621.3822 OPP Signals, systems and inference	510.9 DOW Computation, proof, machine Mathematics enters a new age	604.2 BRE Technical image: a history of styles in scientific imagery	612.82 STE Principles of Neural Design	621.3822 WOO FPGA-based implementation of signal processing systems	Next

Includes bibliography

There are no comments on this title.

to post a comment.