An examination of the geometry theorem machine
- P.C. Gilmore
- 1970
- Artificial Intelligence
Paper
Publications
8696 results for AI
Heuristic search viewed as path finding in a graph
- Ira Pohl
- 1970
- Artificial Intelligence
PaperA Note on Ambiguity of Context-Free Languages and Presentations of Semilinear Sets
- Arnold L. Rosenberg
- 1970
- Journal of the ACM
PaperSymbolic Generation of an Optimal Crout Algorithm for Sparse Systems of Linear Equations
- F.G. Gustavson
- W. Liniger
- et al.
- 1970
- Journal of the ACM
PaperA method for the structural analysis of two-dimensional mathematical expressions
- Shi-Kuo Chang
- 1970
- Information Sciences
PaperFile Organization: On the Selection of Random Access Index Points for Sequential Files
- S.P. Ghosh
- M.E. Senko
- 1969
- Journal of the ACM
PaperProperties of infinite covariance matrices and stability of optimum predictors
- J. Rissanen
- L. Barbosa
- 1969
- Information Sciences
PaperOrganization of records with unequal multiple-valued attributes and combinatorial queries of order 2
- S.P. Ghosh
- 1969
- Information Sciences
PaperOn the hartmanis-stearns problem for a class of tag machines
- Alan Cobham
- 1968
- SWAT 1968
Conference paperThe uniform halting problem for generalized one state turing machines
- Gabor T. Herman
- 1968
- SWAT 1968
Conference paper