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