Loading…

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

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Lipton, Richard J. (Author), Regan, Kenneth W. (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Subjects:
Online Access:Texto Completo