Dagstuhl Seminar Proof Verification and Approximation Algorithms 1997

Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (Eds.): Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997). Lecture Notes in Computer Science 1367 Springer 1998, ISBN 3-540-64201-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML