People, problems, and proofs : essays from Gödel's lost letter: 2010 /
People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and a proof that it works. Before this proof there...
Saved in:
Main Authors: | Lipton, Richard J. (Author), Regan, Kenneth W. (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg Imprint: Springer,
2013.
|
Subjects: | |
Online Access: | Click here to view the full text content |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
The P=NP question and godel's lost letter
by: Lipton, Richard J.
Published: (2010) -
Proofs and algorithms an itroduction to logic and computability /
by: Dowek, Gilles
Published: (2011) -
The P=NP question and Godel's lost letter
by: Lipton, Richard J.
Published: (2010) -
The P=NP question and Godel's lost letter
by: Lipton, Richard J.
Published: (2010) -
Problems and proofs in numbers and algebra /
by: Millman, Richard S., et al.
Published: (2015)