1957
7 references published this year.
A Theory of Formal Deducibility
H. B. Curry (1957) · University of Notre Dame
SAGE — A Data-Processing System for Air Defense
R. R. Everett and others (1957) · Papers and Discussions Presented at the Eastern Joint Computer Conference
A Simple Algorithm for Finding Maximal Network Flows and an Application to the Hitchcock Problem
L. R. Ford and others (1957) · Canadian Mathematical Society
The Design and Use of Hazard-Free Switching Networks
David A. Huffman (1957) · Association for Computing Machinery (ACM)
A Theory of Asynchronous Circuits II
D. E. Muller and others (1957) · University of Illinois, Graduate College, Digital Computer Laboratory
A Theory of Asynchronous Circuits
David E. Muller and others (1957) · University of Illinois, Graduate College, Digital Computer Laboratory
The axiomatization of arithmetic
Hao Wang (1957) · The Journal of Symbolic Logic