Citation
Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture. Master's thesis, California Institute of Technology. doi:10.7907/ctky-sp95. https://resolver.caltech.edu/CaltechTHESIS:04122012-090812718
Abstract
No abstract.
| Item Type: | Thesis (Master's thesis) | ||||
|---|---|---|---|---|---|
| Subject Keywords: | Computer Science | ||||
| Degree Grantor: | California Institute of Technology | ||||
| Division: | Engineering and Applied Science | ||||
| Major Option: | Computer Science | ||||
| Thesis Availability: | Public (worldwide access) | ||||
| Research Advisor(s): |
| ||||
| Thesis Committee: |
| ||||
| Defense Date: | 1 July 1981 | ||||
| Other Numbering System: |
| ||||
| Record Number: | CaltechTHESIS:04122012-090812718 | ||||
| Persistent URL: | https://resolver.caltech.edu/CaltechTHESIS:04122012-090812718 | ||||
| DOI: | 10.7907/ctky-sp95 | ||||
| Default Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||
| ID Code: | 6908 | ||||
| Collection: | CaltechTHESIS | ||||
| Deposited By: | Benjamin Perez | ||||
| Deposited On: | 12 Apr 2012 18:21 | ||||
| Last Modified: | 09 Nov 2022 19:20 |
Thesis Files
![[img]](https://thesis.library.caltech.edu/style/images/fileicons/application_pdf.png)
|
PDF
- Final Version
See Usage Policy. 3MB |
Repository Staff Only: item control page
