Formal proofs concerning partial recursive functions.
Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1966. M.S.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/13453 |
| _version_ | 1826211037141008384 |
|---|---|
| author | Rotenberg, Leo Joseph |
| author2 | Marvin L. Minsky. |
| author_facet | Marvin L. Minsky. Rotenberg, Leo Joseph |
| author_sort | Rotenberg, Leo Joseph |
| collection | MIT |
| description | Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1966. M.S. |
| first_indexed | 2024-09-23T14:59:54Z |
| format | Thesis |
| id | mit-1721.1/13453 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T14:59:54Z |
| publishDate | 2005 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/134532022-01-26T20:50:00Z Formal proofs concerning partial recursive functions. Rotenberg, Leo Joseph Marvin L. Minsky. Massachusetts Institute of Technology. Department of Electrical Engineering Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Electrical Engineering Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1966. M.S. Bibliography: leaf 57. M.S. 2005-09-21T22:29:47Z 2005-09-21T22:29:47Z 1966 Thesis http://hdl.handle.net/1721.1/13453 25686151 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 57 leaves 2102383 bytes 2102143 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering Rotenberg, Leo Joseph Formal proofs concerning partial recursive functions. |
| title | Formal proofs concerning partial recursive functions. |
| title_full | Formal proofs concerning partial recursive functions. |
| title_fullStr | Formal proofs concerning partial recursive functions. |
| title_full_unstemmed | Formal proofs concerning partial recursive functions. |
| title_short | Formal proofs concerning partial recursive functions. |
| title_sort | formal proofs concerning partial recursive functions |
| topic | Electrical Engineering |
| url | http://hdl.handle.net/1721.1/13453 |
| work_keys_str_mv | AT rotenbergleojoseph formalproofsconcerningpartialrecursivefunctions |