Contact Us


The Edward A. Feigenbaum Papers Work in artificial intelligence and computer science at Stanford University

Boyer-Moore Theorem Prover.

Title:
Boyer-Moore Theorem Prover.
Authors:
Barr, Avron, 1949-
Physical Description:
1 document
Date:
1978
Donor tags:
Artificial Intelligence
Series:
1986-052
Box:
8
Folder:
3
Folder Name:
AI Qual - 1978
Location:
Call Number: SC0340, Accession: 1986-052, Box: 8, Folder: 3
Notes:
Manuscript (1978/6/5)