Probabilistic Proof Systems
Subtitle: A Primer
Publisher: Now Publishers
Published: 2008
Language: eng
Number of pages: 104
ISBN-13: 9781601981523
Subjects: Automatic theorem proving; Proof theory; Computational complexity