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. 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):
  • 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: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]
Preview
PDF - Final Version
See Usage Policy.

3MB

Repository Staff Only: item control page