References
A. Newell andH. A. Simon:IRE Trans., Vol. IT-2, 61, (September 1956).
A. M. Turing:Can a machine think?, inMind (1950).
A. M. Turing:Proc. Lond. Math. Soc., II,24, 230 (1936).
E. W. Beth:Semantic entailment and formal derivability, inMededlingen der Konin klik Nederlandse Akademie van Wetenschappen, aft. Letterkunde; Nieuive Reeks, Deel 18, no. 13. See also:A. Robinson:Proving a theorem (as done by Man, Logician, or Machine), inTranscription of the Proceedings of the 1957,Cornell Summer Inst. of Logic (Ithaca, N. Y.).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gelernter, H.L., Rochester, N. Intelligent Behavior in Problem-Solving Machines. Nuovo Cim 13 (Suppl 2), 474–493 (1959). https://doi.org/10.1007/BF02724680
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02724680