Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I (1960)

Cached

Download Links

by John Mccarthy
Citations:342 - 3 self

Active Bibliography

Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I – unknown authors - 1960
Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction – Bernhard Gramlich, Hélène Kirchner (Eds.) - 1997
A Representation Reducing Approach to Knowledge Discovery in Databases for Scientific Discovery – Joseph Phillips
International Conference on Computational – Linguistics Heuristic Approach, Denis M. Manelski, Gilbert K. Krulee, Manelski Krulee - 18
From Lacan to Darwin – Dylan Evans
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
2 Automated Design of Knowledge-Lean Heuristics: Learning, Resource Scheduling, and Generalization – Arthur Ieumwananonthachai - 1996
3 Equalizing Terms by Difference Reduction Techniques – Dieter Hutter - 1997
2 Genetics-Based Learning And Statistical Generalization – Benjamin W. Wah, Arthur Ieumwananonthachai, Ting Yu - 1997
1 Symbolic Reasoning by Difference Reduction – David A. Basin, Im Stadtwald, Toby Walsh - 1994
5 Modelling Social Interaction Attitudes in Multi-Agent Systems – Susanne Kalenka - 2001
Heuristics for Scientific Discovery: The Legacy of Herbert SImon – Pat Langley
Learning, from a Logical Point of View – Pablo Noriega - 1980
6 Using Rippling for Equational Reasoning – Dieter Hutter - 1996
MSc in Logic – Karel Van Oudheusden, Alias Edgar G. Daylight - 2009
THE UBIQUITY OF BACKGROUND KNOWLEDGE – Jaap Kamps - 2005
1 The Concept of Intelligence in AI – Ipke Wachsmuth
5 Computational Discovery of Communicable Scientific Knowledge – Pat Langley, Jeff Shrager, Kazumi Saito - 2002
25 Colouring Terms to Control Equational Reasoning – Dieter Hutter - 1997