Lectures on proof verification and approximation algorithms
By: Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.).
Contributors: Mayr, Ernst W.; Prömel, H. J.; Steger, Angelika.
Series: Lecture notes in computer science,; 1367
Publisher: Springer
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 344
Subjects: Automatic theorem proving; Computer algorithms; Approximation theory
Notes: Includes bibliographical references (p. [325]-334) and indexes.