Formal proofs concerning partial recursive functions.
Author(s)
Rotenberg, Leo Joseph![Thumbnail](/bitstream/handle/1721.1/13453/25686151-MIT.pdf.jpg?sequence=5&isAllowed=y)
DownloadFull printable version (2.004Mb)
Advisor
Marvin L. Minsky.
Terms of use
Metadata
Show full item recordDescription
Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1966. M.S. Bibliography: leaf 57.
Date issued
1966Department
Massachusetts Institute of Technology. Department of Electrical Engineering; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering