-
1Lectures on Proof Verification and Approximation Algorithms [electronic resource] / Lectures on Proof Verification and Approximation Algorithms [electronic resource] /by Mayr, Ernst W. editor., Jürgen Prömel, Hans. editor., Steger, Angelika. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
2Lectures on Proof Verification and Approximation Algorithms [electronic resource] / Lectures on Proof Verification and Approximation Algorithms [electronic resource] /by Mayr, Ernst W. editor., Jürgen Prömel, Hans. editor., Steger, Angelika. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS