1963
16 references published this year.
Logic, Arithmetic and Automata
A. Church (1963) · Arithmetic and Automata, in Proc. of the Int. Cong. of Mathematicians 1962
Flows in Networks
Lester Randolph Ford and others (1963) · Princeton University Press
American standard code for information interchange
S. Gorn and others (1963) · Association for Computing Machinery (ACM)
Electric Field Controlled Semiconductor Device
Dawon Kahng (1963) · United States Patent and Trademark Office
Multiplication of multidigit numbers on automata
A. Karatsuba and others (1963) · Soviet Physics Doklady, 7
The mathematical philosophy of Giuseppe Peano
Hubert C. Kennedy (1963) · Philosophy of Science
Semantical considerations on modal logic
Saul A. Kripke (1963) · Acta Philosophica Fennica, 16(1963):83–94
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Saul A. Kripke (1963) · Mathematical Logic Quarterly · Wiley
Memorandum for Members and Affiliates of the Intergalactic Computer Network
J. C. R. Licklider (1963)
A State Variable Assignment Method for Asynchronous Sequential Switching Circuits
C. N. Liu (1963) · Journal of the ACM · Association for Computing Machinery
Towards a mathematical science of computation
J. McCarthy (1963) · Information Processing 1962, Proceedings of IFIP Congress 62 · North-Holland
Revised report on the algorithmic language ALGOL 60
P. Naur (1963) · Communications of the ACM
Set Theory and Logic
R. R. Stoll (1963) · W. H. Freeman and Company
Impossibility of an algorithm for the decision problem in finite classes
B. A. Trahtenbrot (1963) · Nine Papers on Logic and Quantum Electrodynamics · American Mathematical Society
The Art of War
Sun Tzu (1963)
Nanowatt logic using field-effect metal-oxide semiconductor triodes
Frank M. Wanlass and others (1963) · 1963 IEEE International Solid-State Circuits Conference: Digest of Technical Papers