Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Unnormalized Floating Point ArithmeticAshenhurst, R L ; Metropolis, NJournal of the ACM, 1959-07, Vol.6 (3), p.415-428 [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A Computing Procedure for Quantification TheoryDavis, Martin ; Putnam, HilaryJournal of the ACM, 1960-07, Vol.7 (3), p.201-215 [Periódico revisado por pares]Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
On the Consistency of Precedence MatricesHarary, FrankJournal of the ACM, 1960-07, Vol.7 (3), p.255-259 [Periódico revisado por pares]Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Computational Aids for Determining the Minimal Form of a Truth FunctionPrather, RonaldJournal of the ACM, 1960-10, Vol.7 (4), p.299-310 [Periódico revisado por pares]Texto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Integer Programming Formulation of Traveling Salesman ProblemsMiller, C. E. ; Tucker, A. W. ; Zemlin, R. A.Journal of the ACM, 1960-10, Vol.7 (4), p.326-329 [Periódico revisado por pares]Texto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Algorithms for Parallel-Search MemoriesFalkoff, A. D.Journal of the ACM, 1962-10, Vol.9 (4), p.488-511 [Periódico revisado por pares]Texto completo disponível |
7 |
Material Type: Artigo
|
![]() |
On The Ambiguity Problem of Backus SystemsCantor, David GJournal of the ACM, 1962-10, Vol.9 (4), p.477-479 [Periódico revisado por pares]Texto completo disponível |
8 |
Material Type: Artigo
|
![]() |
An Algorithm for the Numerical Application of a Linear OperatorJones, Terence GJournal of the ACM, 1962-10, Vol.9 (4), p.440-449 [Periódico revisado por pares]Texto completo disponível |
9 |
Material Type: Report
|
![]() |
|
10 |
Material Type: Artigo
|
![]() |
On Ianov's Program SchemataRutledge, J DJournal of the ACM, 1964-01, Vol.11 (1), p.1-9 [Periódico revisado por pares]Texto completo disponível |