Recursive functions of symbolic expressions and their computation by machine, Part I

John McCarthy

doi:10.1145/367177.367199

journal article Apr 01, 1960

Recursive functions of symbolic expressions and their computation by machine, Part I

John McCarthy

Communications of the ACM Vol. 3 No. 4 pp. 184-195 · Association for Computing Machinery (ACM)

View at Publisher Save 10.1145/367177.367199

Topics

No keywords indexed for this article. Browse by subject →

References

5

[1]

J. McCARTHY, Programs with common sense, Paper presented at the Symposium on the Mechanization of Thought Processes , National Physical Laboratory , Teddington, England , Nov. 24-27, 1958 . (Published in Proceedings of the Symposium by H. M. Stationery Office). J. McCARTHY, Programs with common sense, Paper presented at the Symposium on the Mechanization of Thought Processes, National Physical Laboratory, Teddington, England, Nov. 24-27, 1958. (Published in Proceedings of the Symposium by H. M. Stationery Office).

[2]

A. NEWELL AND J. C. SHAW, Programming the logic theory machine , Proc. Western Joint Computer Conference , Feb. 1957 . A. NEWELL AND J. C. SHAW, Programming the logic theory machine, Proc. Western Joint Computer Conference, Feb. 1957.

[3]

A. CmmcH , The Calculi of Lambda-Conversion ( Princeton University Press , Princeton, N. J. , 1941 ). A. CmmcH, The Calculi of Lambda-Conversion (Princeton University Press, Princeton, N. J., 1941).

[4]

FORTRAN Programmer's Reference Manual IBM Corporation New York Oct. 15 1956. FORTRAN Programmer's Reference Manual IBM Corporation New York Oct. 15 1956.

[5]

10.1145/377924.594925

Cited By

901

From Information to Incarnation: Reviewing Half a Century of AI/Data Activities to Realize New Materials From Data Using the Materials Innovation Crucible

Shuichi Iwata · 2026

cScience

Artificial Intelligence as a Driver of Breakthrough Technologies: Global Trends and Lessons for Russia

I. E. Frolov, V. N. Kiselev · 2025

Studies on Russian Economic Develop...

Logic-based technologies for multi-agent systems: a systematic literature review

Roberta Calegari, Giovanni Ciatto · 2020

Autonomous Agents and Multi-Agent S...

FRC: a high-performance concurrent parallel deferred reference counter for C++

Charles Tripp, David Hyde · 2018

ACM SIGPLAN Notices

The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)

Jared Davis, Magnus O. Myreen · 2015

Journal of Automated Reasoning

Solar forecasting methods for renewable energy integration

Rich H. Inman, Hugo T.C. Pedro · 2013

Progress in Energy and Combustion S...

Bigtable

Fay Chang, Jeffrey Dean · 2008

ACM Transactions on Computer System...

Metrics

901

Citations

5

References

Details

Published: Apr 01, 1960
Vol/Issue: 3(4)
Pages: 184-195
License: View

Authors

J

John McCarthy

Massachusetts Institute of Technology, Cambridge

Cite This Article

John McCarthy (1960). Recursive functions of symbolic expressions and their computation by machine, Part I. Communications of the ACM, 3(4), 184-195. https://doi.org/10.1145/367177.367199

Recursive functions of symbolic expressions and their computation by machine, Part I

You May Also Like