The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions Martin Davis

By:

Publication details: Mineola, NY Dover Publications 2004Description: 413 pISBN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 DAV (Browse shelf(Opens below))	Available		386384
Anna Centenary Library	511.3 DAV (Browse shelf(Opens below))	Available		386385

Previous	No cover image available			No cover image available	No cover image available			Next
Previous	511.3 CRE Complexity classifications of Boolean constraint satisfaction problems	511.3 CRO Categories for types	511.3 CRO Categories for types	511.3 DAV The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions	511.3 DAV The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions	511.3 DAV Computability & unsolvability	511.3 DEL Cellular automata : a parallel model	Next

Includes index

There are no comments on this title.

to post a comment.

Find us on the map