CaltechAUTHORS
  A Caltech Library Service

Toward a Theorem Proving Architecture

Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1981.4653-tr-81

[img]
Preview
Other (Adobe PDF (3.3MB))
See Usage Policy.

3300Kb
[img]
Preview
Postscript
See Usage Policy.

3738Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1981.4653-tr-81

Abstract

No Abstract.


Item Type:Report or Paper (Technical Report)
Group:Computer Science Technical Reports
Record Number:CaltechCSTR:1981.4653-tr-81
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1981.4653-tr-81
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:27003
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:09 Aug 2002
Last Modified:26 Dec 2012 14:12

Repository Staff Only: item control page