Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997)

Ernst W. Mayr Hans Jürgen Prömel Angelika Steger Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997) Lectures on Proof Verification and Approximation Algorithms Lecture Notes in Computer Science 1367 Springer 1998 3-540-64201-3 db/conf/dagstuhl/proof1997.html