McCarthy John. Recursive functions of symbolic expressions and their computation by machine, part I. Communications of the Association for Computing Machinery, vol. 3 , pp. 184–195 [Book Review]

Journal of Symbolic Logic 33 (1):117-117 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270078

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: John McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
Burkhart W. H.. A method for synthesis of two-valued feedback circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 265–272. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):56-56.
Semon Warren L.. Characteristic numbers and their use in the decomposition of switching functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 273–280. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):57-57.
Patterson G. W.. What is a code? Communications of the Association for Computing Machinery, vol. 3 no. 5 , pp. 315–318.Richard C. Jeffrey - 1965 - Journal of Symbolic Logic 30 (3):385-385.
Burkhart W. H.. Theorem minimization. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 259–263. [REVIEW]Raymond J. Nelson - 1953 - Journal of Symbolic Logic 18 (4):348-348.
Kalin Theodore A.. Formal logic and switching circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 251–257. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (4):345-346.
Review: John McCarthy, A Basis for a Mathematical Theory of Computation, Preliminary Report; John McCarthy, P. Braffort, D. Hirschberg, A Basis for a Mathematical Theory of Computation. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
Review: J. McCarthy, Cicely M. Popplewell, Towards a Mathematical Science of Computation; John McCarthy, Wayne A. Kalenich, Problems in the Theory of Computation. [REVIEW]Richard J. Orgass - 1971 - Journal of Symbolic Logic 36 (2):346-347.
Goodell John D.. The foundations of computing machinery. Part II. The journal of computing systems , vol. 1 no. 2 , pp. 86–110. [REVIEW]Nelson M. Blachman - 1953 - Journal of Symbolic Logic 18 (4):348-349.
Lessons from a restricted Turing test.Stuart M. Shieber - 1994 - Communications of the Association for Computing Machinery 37:70-82.
Formal Systems and Recursive Functions Proceedings of the Eighth Logic Colloquium, Oxford, July 1963.John N. Logic Colloquium, Michael A. E. Crossley, Dummett & Association for Symbolic Logic - 1965 - North-Holland.
Hirschhorn Edwin. Simplification of a class of Boolean functions. Journal of the Association for Computing Machinery, vol. 5 no. 1 , pp. 67–75. [REVIEW]E. J. McCluskey - 1958 - Journal of Symbolic Logic 23 (2):236-237.
Real Computation.Georg Philipp Schwarz - 1995 - Dissertation, University of California, San Diego
The Foundations of Computing Machinery. Part II.John D. Goodell - 1953 - Journal of Symbolic Logic 18 (4):348-349.
J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, vol. 12 , pp. 23–41. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):515-516.

Analytics

Added to PP
2016-06-30

Downloads
19 (#753,814)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references