Tools

LEADER 01807cam a2200445Ia 4500

001 ocn262649513;

003 OCoLC;

005 20141212051643.0;

007 cr |||||||||||;

008 080925r20082007maua b 000 0 eng d;

020 a| 9781601981523;

020 a| 160198152X;

029 1 a| AU@b| 000044520845;

035 a| (Sirsi) o262649513;

035 a| (OCoLC)262649513;

049 a| EREE;

050 14 a| QA75.5 F771 v. 3, iss. 1;

100 1 a| Goldreich, Oded.=| ^A489217;

245 10 a| Probabilistic proof systems :b| a primer /c| Oded Goldreich.;

300 a| xv, 90 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

500 a| "This book is originally published as Foundations and trends in theoretical computer science, volume 3 issue 1, ISSN: 1551-305X"--P. [4] of cover.;

504 a| Includes bibliographical references (p. 87-90).;

530 a| Also available on the World Wide Web.;

650 0 a| Automatic theorem proving.=| ^A88007;

650 0 a| Computational complexity.=| ^A74807;

650 0 a| Proof theory.=| ^A27801;

730 0 a| Foundations and trends in theoretical computer science.=| ^A1015268;

856 41 u| http://nowpublishers.com/product.aspx?product=TCS&doi=0400000023z| Access restricted to subscribers;

949 a| QA75.5 F771 v. 3, iss. 1h| JOYNER48o| jmpli| 30372015333476;

994 a| C0b| ERE;

938 a| YBP Library Servicesb| YANKn| 2890301;

596 a| 1;

998 a| 2276494;

999 a| QA75.5 .F771 V. 3, ISS. 1w| LCc| 1i| 30372015333476d| 12/17/2019e| 11/14/2019f| 2/7/2013g| 2l| JGESm| JOYNERn| 5r| Ys| Yt| JGESBKu| 5/14/2010x| BOOKz| JSTACKSo| .STAFF. jmpl;

Probabilistic proof systems : a primer / Oded Goldreich.

Author/creator	Goldreich, Oded
Format	Electronic
Publication Info	Hanover, MA : Now Publishers, ©2008.
Description	xv, 90 pages : illustrations ; 24 cm
Supplemental Content	Access restricted to subscribers
Subjects	Automatic theorem proving. Computational complexity. Proof theory.

General note	"This book is originally published as Foundations and trends in theoretical computer science, volume 3 issue 1, ISSN: 1551-305X"--P. [4] of cover.
Bibliography note	Includes bibliographical references (p. 87-90).
Other forms	Also available on the World Wide Web.
Other title	Foundations and trends in theoretical computer science.
ISBN	9781601981523
ISBN	160198152X

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA75.5 .F771 V. 3, ISS. 1	✔ Available	Place Hold

Probabilistic proof systems : a primer / Oded Goldreich.

Click here for more information about this title

Availability