Title
A Proposal for a Proof-Checker for Certain Axiomatic SystemsCatalog Number
102720646Type
DocumentDate
1966Author
Abrams, Philip S.; Rode, DiannaPublisher
Stanford UniversityIdentifying Numbers
Publication Number | Stanford AI Memo Number 41 |