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

Main Author: Lipton, Richard J.
Corporate Author: SpringerLink (Online service)
Other Authors: Regan, Kenneth W.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-642-41422-0
Tags: Add Tag
No Tags, Be the first to tag this record!