A Caltech Library Service

Toward a Theorem Proving Architecture


Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture. Master's thesis, California Institute of Technology.


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):
  • Unknown, Unknown
Thesis Committee:
  • Unknown, Unknown
Defense Date:1 July 1981
Other Numbering System:
Other Numbering System NameOther Numbering System ID
Record Number:CaltechTHESIS:04122012-090812718
Persistent URL:
Default Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:6908
Deposited By: Benjamin Perez
Deposited On:12 Apr 2012 18:21
Last Modified:02 Dec 2020 01:13

Thesis Files

PDF - Final Version
See Usage Policy.


Repository Staff Only: item control page