Search ACM DL

Search Issue

enter search term and/or author name

**A Computing Procedure for Quantification Theory**

Martin Davis, Hilary Putnam

Pages: 201-215

DOI: 10.1145/321033.321034

**On Relevance, Probabilistic Indexing and Information Retrieval**

M. E. Maron, J. L. Kuhns

Pages: 216-244

DOI: 10.1145/321033.321035

**Computation of the Frequency Function of a Quadratic Form in Random Normal Variables**

Walter F. Freiberger, Richard H. Jones

Pages: 245-250

DOI: 10.1145/321033.321036

**Analysis of Nets by Numerical Methods**

Arthur Gill

Pages: 251-254

DOI: 10.1145/321033.321037

**On the Consistency of Precedence Matrices**

Frank Harary

Pages: 255-259

DOI: 10.1145/321033.321038

**On Sturm Sequences for Tridiagonal Matrices**

J. M. Ortega

Pages: 260-263

DOI: 10.1145/321033.321039

**On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions**

Samuel D. Conte, Ralph T. Dames

Pages: 264-273

DOI: 10.1145/321033.321040

**Solution of Linear Systems by Richardson's Method**

Werner L. Frank

Pages: 274-286

DOI: 10.1145/321033.321041

**Synthesis of Binary Ring Counters of Given Periods**

G. B. Fitzpatrick

Pages: 287-297

DOI: 10.1145/321033.321042