%0 Book
%A Ernst W. Mayr, Hans Jurgen Promel, Angelika Steger )eds.(
%T Lectures on proof verification and approximation algorithms
%U /book/101381057/Lectures-on-proof-verification-and-approximation-a/