An examination of the geometry theorem machine
- P.C. Gilmore
- 1970
- Artificial Intelligence
Publications
Date
Featured collections
Popular topics
2 results for P.C. Gilmore
The lambda-gamma calculus: A language adequate for defining recursive functions
- P.C. Gilmore
- 1970
- Information Sciences