TY  - BOOK
AU  - Mayr, E.W. (et-al) (eds)
TI  - Lectures on proof verification and approximation algorithms : lecture notes in computer science
SN  - 0003540642013
U1  - 004 
PB  - Springer: Tokyo
KW  - computer science
ER  -