|
Journals in DBLP
J. ACM 1960, volume: 7, number: 3
- Martin Davis, Hilary Putnam
A Computing Procedure for Quantification Theory. [Citation Graph (6, 0)][DBLP] J. ACM, 1960, v:7, n:3, pp:201-215 [Journal]
- M. E. Maron, J. L. Kuhns
On Relevance, Probabilistic Indexing and Information Retrieval. [Citation Graph (4, 0)][DBLP] J. ACM, 1960, v:7, n:3, pp:216-244 [Journal]
- Walter F. Freiberger, Richard H. Jones
Computation of the Frequency Function of a Quadratic Form in Random Normal Variables. [Citation Graph (0, 0)][DBLP] J. ACM, 1960, v:7, n:3, pp:245-250 [Journal]
- Arthur Gill
Analysis of Nets by Numerical Methods. [Citation Graph (0, 0)][DBLP] J. ACM, 1960, v:7, n:3, pp:251-254 [Journal]
- Frank Harary
On the Consistency of Precedence Matrices. [Citation Graph (0, 0)][DBLP] J. ACM, 1960, v:7, n:3, pp:255-259 [Journal]
- James M. Ortega
On Sturm Sequences for Tridiagonal Matrices. [Citation Graph (0, 0)][DBLP] J. ACM, 1960, v:7, n:3, pp:260-263 [Journal]
- Samuel D. Conte, Ralph T. Dames
On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions. [Citation Graph (0, 0)][DBLP] J. ACM, 1960, v:7, n:3, pp:264-273 [Journal]
- Werner L. Frank
Solution of Linear Systems by Richardson's Method. [Citation Graph (0, 0)][DBLP] J. ACM, 1960, v:7, n:3, pp:274-286 [Journal]
- G. B. Fitzpatrick
Synthesis of Binary Ring Counters of Given Periods. [Citation Graph (0, 0)][DBLP] J. ACM, 1960, v:7, n:3, pp:287-297 [Journal]
|