Add to ORKGThesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1996.Includes bibliographical references (p. 101-106).by Marcos Kiwi.Ph.D
The Probabilistic Method was primarily used in Combinatorics and pioneered by Erdös Pai, better know...
Probabilistic programs [6] are sequential programs, written in languages like C, Java, Scala, or ML,...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Can a proof be checked without reading it? That certainly seems impossible, no matter how much revi...
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1995.Includes bibliogr...
Various types of probabilistic proof systems have played a central role in the development of comput...
Various types of probabilistic proof systems have played a central role in the de-velopment of compu...
AbstractThe notion of efficient proof-checking has always been central to complexity theory, and it ...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1988.Includes bibliogr...
Direct proof, not involving residues, of a result of Hadamard."Preapred for Project Code (s): and/or...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
In the areas of Computer Science and Telecommunications there is a huge amount of applications in wh...
The Probabilistic Method was primarily used in Combinatorics and pioneered by Erdös Pai, better know...
Probabilistic programs [6] are sequential programs, written in languages like C, Java, Scala, or ML,...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Can a proof be checked without reading it? That certainly seems impossible, no matter how much revi...
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1995.Includes bibliogr...
Various types of probabilistic proof systems have played a central role in the development of comput...
Various types of probabilistic proof systems have played a central role in the de-velopment of compu...
AbstractThe notion of efficient proof-checking has always been central to complexity theory, and it ...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1988.Includes bibliogr...
Direct proof, not involving residues, of a result of Hadamard."Preapred for Project Code (s): and/or...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
In the areas of Computer Science and Telecommunications there is a huge amount of applications in wh...
The Probabilistic Method was primarily used in Combinatorics and pioneered by Erdös Pai, better know...
Probabilistic programs [6] are sequential programs, written in languages like C, Java, Scala, or ML,...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...