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

Remote Storage