Mayr, Ernst W <br/><br/>
Lectures on proof verification and approximation algorithms 

 - Verlag  Springer  1998 
 - Lecturre notes in Computer Science 1367 .
<br/><br/><label>Dewey Class. No.: </label>511.4  / MAY.L