CaltechTHESIS
  A Caltech Library Service

Toward a Theorem Proving Architecture

Citation

Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture. Master's thesis, California Institute of Technology. http://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:Restricted to Caltech community only
Research Advisor(s):
  • Unknown, Unknown
Thesis Committee:
  • Unknown, Unknown
Defense Date:1 July 1981
Other Numbering System:
Other Numbering System NameOther Numbering System ID
UNSPECIFIED4653:TR:81
Record Number:CaltechTHESIS:04122012-090812718
Persistent URL:http://resolver.caltech.edu/CaltechTHESIS:04122012-090812718
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:26 Dec 2012 04:41

Thesis Files

[img] PDF - Final Version
Restricted to Caltech community only
See Usage Policy.

3300Kb

Repository Staff Only: item control page