1962
13 references published this year.
On a Decision Method in Restricted Second Order Arithmetic
J. Richard Büchi (1962) · Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress · Stanford University Press
A machine program for theorem-proving
Martin Davis and others (1962) · Communications of the ACM · Association for Computing Machinery
Reduced direct products
Thomas Frayne and others (1962) · Fundamenta Mathematicae
Management and the Computer of the Future
Unattributed (1962) · The MIT Press and John Wiley and Sons
Knowledge and Belief
Jaakko Hintikka (1962) · Cornell University Press
Quicksort
C. A. R. Hoare (1962) · The Computer Journal
Method of Manufacturing Semiconductor Devices
Jean A. Hoerni (1962) · United States Patent and Trademark Office
One-Level Storage System
T. Kilburn and others (1962) · Institute of Electrical and Electronics Engineers (IEEE)
The Use of Triple-Modular Redundancy to Improve Computer Reliability
R. E. Lyons and others (1962) · IBM
Computer programs for checking mathematical proofs
J. McCarthy (1962) · American Mathematical Society
Fundamental mode and pulse mode sequential circuits
E. J. McCluskey (1962) · Information Processing 62 · IFIP
Asynchronous logics and application to information processing
D. E. Muller (1962) · Symposium on the Application of Switching Theory to Space Technology
Further Studies in Speed-Independent Logic for a Control
Robert Earl Swartwout (1962)