Volume 7; Issue 3

Journal of the ACM

Volume 7; Issue 3
1

A Computing Procedure for Quantification Theory

Davis, Martin, Putnam, Hilary
Journal:
Journal of the ACM
Year:
1960
Language:
english
File:
PDF, 1.02 MB
english, 1960
2

Synthesis of Binary Ring Counters of Given Periods

Fitzpatrick, G. B.
Journal:
Journal of the ACM
Year:
1960
Language:
english
File:
PDF, 549 KB
english, 1960
3

On Relevance, Probabilistic Indexing and Information Retrieval

Maron, M. E., Kuhns, J. L.
Journal:
Journal of the ACM
Year:
1960
Language:
english
File:
PDF, 2.14 MB
english, 1960
4

Solution of Linear Systems by Richardson's Method

Frank, Werner L.
Journal:
Journal of the ACM
Year:
1960
Language:
english
File:
PDF, 726 KB
english, 1960
5

On Sturm Sequences for Tridiagonal Matrices

Ortega, J. M.
Journal:
Journal of the ACM
Year:
1960
Language:
english
File:
PDF, 211 KB
english, 1960
7

On the Consistency of Precedence Matrices

Harary, Frank
Journal:
Journal of the ACM
Year:
1960
Language:
english
File:
PDF, 303 KB
english, 1960
9

Analysis of Nets by Numerical Methods

Gill, Arthur
Journal:
Journal of the ACM
Year:
1960
Language:
english
File:
PDF, 186 KB
english, 1960