Published January 1, 1981
| public
Technical Report
Open
Toward a Theorem Proving Architecture
- Creators
- Lien, Sheue-Ling C.
Chicago
An error occurred while generating the citation.
Abstract
No Abstract.
Files
4653_TR_81.pdf
Files
(7.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f10637d5097c0048fdfa087bb9ce4348
|
3.4 MB | Preview Download |
|
md5:89c3d403d0e001f3fc538281cc300f3c
|
3.8 MB | Download |
Additional details
- Eprint ID
- 27003
- Resolver ID
- CaltechCSTR:1981.4653-tr-81
- Created
-
2002-08-09Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports