A Proof-checker for Predicate Calculus. AIM-027
Abstract/Contents
- Abstract
A program that checks proofs in J. A. Robinson's formulation of
predicate calculus has been programmed in LISP 1.5. The program is
available in CTSS at Project MAC and is also available as a card
deck. The program is used for class exercises at Stanford.
Description
| Type of resource | text |
|---|---|
| Form | memorandums |
| Extent | 1 text file |
| Place | Stanford (Calif.) |
| Date created | March 1965 |
| Language | English |
| Digital origin | reformatted digital |
Creators/Contributors
| Author | McCarthy, John, 1927-2011 |
|---|
Subjects
| Subject | Stanford Artificial Intelligence Laboratory |
|---|---|
| Subject | Memo (Stanford Artificial Intelligence Laboratory) |
| Subject | Artificial intelligence |
| Genre | Memorandums |
Bibliographic information
| Finding Aid | |
|---|---|
| Memo | AIM-027 |
| Location | https://purl.stanford.edu/kv206ws0886 |
| Location | SC1041 |
| Repository | Stanford University. Libraries. Department of Special Collections and University Archives |
Access conditions
- Use and reproduction
- The materials are open for research use and may be used freely for non-commercial purposes with an attribution. For commercial permission requests, please contact the Stanford University Archives (universityarchives@stanford.edu).
- Copyright
- Copyright © The Board of Trustees of the Leland Stanford Junior University. All rights reserved.
Collection
Stanford Artificial Intelligence Laboratory records, 1963-2009
View other items in this collection in SearchWorksAlso listed in
Loading usage metrics...