TY  - BOOK
AU  - Mayr Ernst W
AU  - Promel Hans Jurgen
AU  - Steger Angelika
TI  - Lectures on proof verification and approximation algorithms
SN  - 3-540-64201-3
U1  - 511.8 
PY  - 1998///
CY  - Berlin
PB  - Springer-Verlag
KW  - Algorithms
KW  - Approximation algorithms
KW  - Computer science
ER  -