Lectures on proof verification and approximation algorithms : lecture notes in computer science - Mayr, E.W. (et-al) (eds) (Springer: Tokyo, 1998)
Keywords: computer science