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

Full description

Saved in:
Bibliographic Details
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!