Gems of theoretical computer science /

This book introduces some of the most important results in theoretical computer science. The "gems" are central problems and their solutions from the areas of computability, logic, circuit theory, and complexity. The text presents complete proofs in understandable form, as well as previous...

Full description

Bibliographic Details

Main Author:	Schöning, Uwe, 1955-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Pruim, Randall J.
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1998]
Subjects:	Automatic theorem proving. complexité calcul. logique. calculabilité. informatique théorique. Automatische bewijsvoering. Informatique. Théorèmes > Démonstration automatique. Electronic books.
Online Access:	Connect to the full text of this electronic book