A Proposal for a Proof-Checker for Certain Axiomatic Systems
Item Details
- Date
- 1966 (Made)
- Type
- Document
- Catalogue number
- 102720646
- Other identifying number
- Stanford AI Memo Number 41 (Publication Number)
- Organization
- Stanford University (Publisher)
- People
- Dianna Rode (Author)
Philip S. Abrams (Author) - Category
- Technical Report
- Credit line
- Gift of Herbert Stoyan
- Extent
- 1 folder
- Language
- English
- Acquisition number
- X5687.2010
- Archive collection
- Herbert Stoyan collection on LISP programming
- Archive hierarchy
- Lisp history by year