Lectures on proof verification and approximation algorithms /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Mayr, Ernst, Prömel, H. J., Steger, Angelika
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1998]
Series:	Lecture notes in computer science ; 1367.
Subjects:	Automatic theorem proving. Computer algorithms. Approximation theory. problème optimisation. vérification algorithme. algorithme approximation. Théorèmes > Démonstration automatique. Algorithmes. Approximation, Théorie de l' Automatische bewijsvoering. Algoritmos e estruturas de dados. Computabilidade e modelos de computacao. Algorithmes > Congrès. Complexité de calcul (Informatique) > Congrès. Approximation, théorie de l' > Congrès. Théorèmes > Démonstration automatique > Congrès. Probabilistisch verifizierbarer Beweis. Optimierungsproblem. Approximationsalgorithmus. Komplexitätsklasse NP. Electronic books. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (xii, 344 pages) : illustrations
Bibliography:	Includes bibliographical references (pages 325-334) and indexes.
ISBN:	3540642013 9783540642015
ISSN:	0302-9743 ;