Thumbnail
Access Restriction
Subscribed

Author Sudan, Madhu
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract Can a proof be checked without reading it?
Description Affiliation: MIT's Computer Science and Artificial Intelligence Laboratory, Cambridge, MA (Sudan, Madhu)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 52
Issue Number 3
Page Count 9
Starting Page 76
Ending Page 84


Open content in new tab

   Open content in new tab
Source: ACM Digital Library