Boyer-Moore Theorem Prover
Description
| Type of resource | text |
|---|---|
| Extent | 1 document |
| Date created | June 5, 1978 |
| Issuance | monographic |
| Language | English |
| Digital origin | reformatted digital |
Creators/Contributors
| Creator | Barr, Avron, 1949- |
|---|
Subjects
| Subject | Artificial intelligence |
|---|---|
| Subject | Expert systems (Computer science) |
| Subject | Computer science |
Bibliographic information
| Donor tags | Artificial Intelligence |
|---|---|
| Note | Manuscript (1978/6/5) |
| Source ID | SC0340_1986-052_xk898wv6983 |
| Location | https://purl.stanford.edu/xk898wv6983 |
| Location | Call Number: SC0340, Accession: 1986-052, Box: 8, Folder: 3 |
| 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: 1986-052, Box: 8, Folder: 3, Title: AI Qual - 1978
Collection
Edward A. Feigenbaum papers, 1950-2007 (inclusive)
View other items in this collection in SearchWorksLoading usage metrics...