External Links

Journal: Journal of the ACM

Volume 7, Issue 3

201 -- 215Martin Davis, Hilary Putnam. A Computing Procedure for Quantification Theory
216 -- 244M. E. Maron, J. L. Kuhns. On Relevance, Probabilistic Indexing and Information Retrieval
245 -- 250Walter F. Freiberger, Richard H. Jones. Computation of the Frequency Function of a Quadratic Form in Random Normal Variables
251 -- 254Arthur Gill. Analysis of Nets by Numerical Methods
255 -- 259Frank Harary. On the Consistency of Precedence Matrices
260 -- 263James M. Ortega. On Sturm Sequences for Tridiagonal Matrices
264 -- 273Samuel D. Conte, Ralph T. Dames. On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions
274 -- 286Werner L. Frank. Solution of Linear Systems by Richardson s Method
runs on