TY  - BOOK
AU  - Mayr, Ernst W
TI  - Lectures on proof verification and approximation algorithms
T2  - Lecturre notes in Computer Science 1367
U1  - 511.4 
PY  - 1998///
CY  - Verlag
PB  - Springer
ER  -