PProbabilistic Proof SystemsProbabilistic Proof Systemsde Oded GoldreichMateriasAutomatic theorem provingProof theoryComputational complexityEdiciones (1)Probabilistic Proof Systems (2008)Now Publishers · inglés · ISBN 9781601981523Más obras de Oded GoldreichFoundations of Cryptography, Volume 1Foundations of cryptographyStudies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation
