1950

6 references published this year.

A Decomposition Theorem for Partially Ordered Sets
R. P. Dilworth (1950) · Annals of Mathematics · Princeton University
Error Detecting and Error Correcting Codes
Richard W. Hamming (1950) · Bell System Technical Journal · Institute of Electrical and Electronics Engineers
Completeness in the Theory of Types
Leon Henkin (1950) · The Journal of Symbolic Logic
A Symmetrical Notation for Numbers
Claude E. Shannon (1950) · The American Mathematical Monthly · Taylor & Francis
Computing Machinery and Intelligence
A. M. Turing (1950) · Oxford University Press (OUP)
The EDSAC (Electronic delay storage automatic calculator)
Maurice Vincent Wilkes and others (1950) · Mathematics of Computation · American Mathematical Society