Probable correctness theory
- 作者Richard G. Hamlet
- 卷第25卷
- 期第1期
- 印刷ISSN0020-0190
- 文件大小844.04KB
- 发表时间1987
- DOI10.1016/0020-0190(87)90088-3
- 页码17-25
同作者推荐
Toward a mathematical theory of inductive inferenceLenore Blum; Manuel Blum · 1975
ForewordLenore Blum, Felipe Cucker, Tomaso Poggio, James Renegar, and Michael Shub · Foundations of Computational Mathematics · 2005
Julia, A Life in Mathematics.Blum, Lenore; Reid, Constance · The American Mathematical Monthly · 1998
Complexity and Real Computation ||Blum, Lenore; Cucker, Felipe; Shub, Michael; Smale, Steve · 1998
CS4HSBlum, Lenore; Cortina, Thomas J. · ACM SIGCSE Bulletin · 2007
COMPLEXITY AND REAL COMPUTATIONLENORE BLUM · SPRINGER · 1998
Building an effective computer science student organizationFrieze, Carol; Blum, Lenore · ACM SIGCSE Bulletin · 2002