Machine verification of mathematical proof
Name
33387668-MIT.pdf
Size
49.63 MB
Format
Adobe PDF
Checksum (MD5)
ea021a3d9a1f606590b3fa32f515a834
Author(s)
Abraham, Paul W.
Advisor(s)
Marvin L. Minsky.
Date Issued
1963
Publisher
Massachusetts Institute of Technology
Description
Thesis: Sc. D., Massachusetts Institute of Technology, Department of Mathematics, 1963
Vita.
Includes bibliographical references (leaves 208-210).
Subjects
Mathematics
MIT Department
Massachusetts Institute of Technology. Department of Mathematics
Terms of Use
MIT 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.
Persistent DSpace Link
