Author: Uwe Schöning
Publisher: Springer Science & Business Media
ISBN: 364260322X
Category : Computers
Languages : en
Pages : 318
Book Description
This book assembles some of the most important problems and solutions in theoretical computer science-from computability, logic, circuit theory, and complexity. The book presents these important results with complete proofs in an understandable form. It also presents previously open problems that have found (perhaps unexpected) solutions, and challenges the reader to pursue further active research in computer science.