A. Newell, J. C. Shaw, and H. A. Simon. Empirical explorations of the logic theory machine: A case study in heuristic. Proceedings of the Western Joint Computer Conference, Los Angeles1957, pp. 218–230. - Bryan Cowan, G. H. McClurg, A. Newell, P. E. Tanner, L. D. Yarbrough. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, p. 230 [Book Review]

Journal of Symbolic Logic 27 (1):103-103 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963724

Links

PhilArchive



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

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

McCarthy John. A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference, 1961, pp. 225–238.McCarthy John. A basis for a mathematical theory of computation. Computer programming and formal systems, edited by Braffort P. and Hirschberg D., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1963, pp. 33–70. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
Algebraic and Logic Programming.Michael Hanus, Jan Heering & Karl Meinke - 1997 - Springer Verlag.
Logic Programming: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming.Joxan Jaffar - 1998 - MIT Press.
Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming.Michael Maher - 1996 - MIT Press.
A. Newell, J. C. Shaw, and H. A. Simon. Empirical explorations of the logic theory machine: A case study in heuristic. Proceedings of the Western Joint Computer Conference, Los Angeles1957, pp. 218–230. - Bryan Cowan, G. H. McClurg, A. Newell, P. E. Tanner, L. D. Yarbrough. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, p. 230. [REVIEW]Abraham Robinson - 1962 - Journal of Symbolic Logic 27 (1):103-103.
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings.Jörg Flum, M. Rodríguez Artalejo & Workshop on Computer Science Logic - 1999 - Springer Verlag.
Allen Newell.Gualtiero Piccinini - 2007 - In Noretta Koertge (ed.), New Dictionary of Scientific Biography. Thomson Gale.
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).
Alpuk92 Proceedings of the 4th Uk Conference on Logic Programming, London, 30 March-1 April 1992.Krysia Broda & British Computer Society - 1993
ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991.Tim Duncan, C. S. Mellish, Geraint A. Wiggins & British Computer Society - 1992 - Springer.
Automated Reasoning Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004 ; Proceedings.David Basin & Michael Rusinowitch - 2004 - Springer Verlag.
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings.Andrzej Lingas & Rolf Karlsson - 1993 - Springer.
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings.Rajeev Gore, Alexander Leitsch & Tobias Nipkow - 2001 - Springer Verlag.
Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil.Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999 - American Mathematical Soc..

Analytics

Added to PP
2016-06-30

Downloads
28 (#556,922)

6 months
6 (#512,819)

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