Show simple item record

Machine verification of mathematical proof

dc.contributor.advisorMarvin L. Minsky.
dc.contributor.authorAbraham, Paul W.en_US
dc.date.accessioned2025-07-22T19:52:42Z
dc.date.available2025-07-22T19:52:42Z
dc.date.copyright1963en_US
dc.date.issued1963en_US
dc.identifier.urihttps://hdl.handle.net/1721.1/161775
dc.descriptionThesis: Sc. D., Massachusetts Institute of Technology, Department of Mathematics, 1963en_US
dc.descriptionVita.en_US
dc.descriptionIncludes bibliographical references (leaves 208-210).en_US
dc.description.statementofresponsibilityby Paul William Abrahams.en_US
dc.format.extent295 leavesen_US
dc.publisherMassachusetts Institute of Technologyen_US
dc.rightsMIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided.en_US
dc.rights.urihttp://dspace.mit.edu/handle/1721.1/7582en_US
dc.subjectMathematicsen_US
dc.titleMachine verification of mathematical proofen_US
dc.typeThesisen_US
dc.description.degreeSc. D.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Mathematicsen_US
dc.identifier.oclc33387668en_US
dc.description.collectionSc. D. Massachusetts Institute of Technology, Department of Mathematicsen_US
dspace.imported2025-07-22T19:52:42Zen_US
mit.thesis.degreeDoctoralen_US


Files in this item

Thumbnail
Name:
33387668-MIT.pdf
Size:
49.63Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record