APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING
Description
| Type of resource | text |
|---|---|
| Extent | 1 document |
| Date created | 1969 |
| Issuance | monographic |
| Language | English |
| Digital origin | reformatted digital |
Creators/Contributors
| Creator | Green, Claude Cordell | |
|---|---|---|
| Contributor | Stanford Research Institute |
Subjects
| Subject | Artificial intelligence |
|---|---|
| Subject | Expert systems (Computer science) |
| Subject | Computer science |
| Genre | Report |
Bibliographic information
| Note | Report (1969); SRI International |
|---|---|
| Source ID | SC0340_2005-101_jf633pm7868 |
| Location | https://purl.stanford.edu/jf633pm7868 |
| Location | Call Number: SC0340, Accession 2005-101, Box: 49, Folder: 20 |
| 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).
Preferred citation
- Preferred citation
- Call Number: SC0340, Accession 2005-101, Box: 49, Folder: 20, Title: Green, Cordell, articles 1968-77
Collection
Edward A. Feigenbaum papers, 1950-2007 (inclusive)
View other items in this collection in SearchWorksLoading usage metrics...