CaltechAUTHORS
Published January 1, 1981 | Version public
Technical Report Open

Toward a Theorem Proving Architecture

Creators

Abstract

No Abstract.

Files

4653_TR_81.pdf

Files (7.2 MB)

Name Size
md5:f10637d5097c0048fdfa087bb9ce4348
3.4 MB Preview Download
md5:89c3d403d0e001f3fc538281cc300f3c
3.8 MB Download

Additional details

Identifiers

Eprint ID
27003
Resolver ID
CaltechCSTR:1981.4653-tr-81

Dates

Created
2002-08-09
Created from EPrint's datestamp field
Updated
2019-10-03
Created from EPrint's last_modified field

Caltech Custom Metadata

Caltech groups
Computer Science Technical Reports