TY  - BOOK
AU  - Mayr, Ernst W. Ed.
AU  - Promel, Hans Jurgen. Ed.
AU  - Steger, Angelika. Ed.
TI  - Proof Verification and Approximation Algorithms
SN  - 3540642013
CY  - Berlin
KW  - Proof Verification
KW  - Approximation Algorithm
ER  -