1960
10 references published this year.
A Theory of Asynchronous Circuits III
W. Scott Bartky (1960) · University of Illinois, Graduate College, Digital Computer Laboratory
A Computing Procedure for Quantification Theory
Martin Davis and others (1960) · Journal of the ACM · Association for Computing Machinery
Planar silicon diodes and transistors
J. A. Hoerni (1960) · 1960 International Electron Devices Meeting · IEEE
Non-crystalline, amorphous and liquid electronic semiconductors
A. F. Ioffe and others (1960) · Progress in Semiconductors
Man-computer symbiosis
J. C. R. Licklider (1960) · IRE Transactions on Human Factors in Electronics
Method of Treating Silicon
Joseph R. Ligenza (1960) · United States Patent and Trademark Office
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
John McCarthy (1960) · Communications of the ACM · Association for Computing Machinery
Word and Object
Willard Van Orman Quine (1960) · MIT Press
Computable Algebra, General Theory and Theory of Computable Fields
Michael O. Rabin (1960) · Transactions of the American Mathematical Society · American Mathematical Society
The unreasonable effectiveness of mathematics in the natural sciences
Eugene P. Wigner (1960) · Communications on Pure and Applied Mathematics