Structure and interpretation of computer programs

Artificial Intelligence 27 (1):124-127 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(85)90087-6

Links

PhilArchive



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

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

Syntax, Semantics, and Computer Programs.William J. Rapaport - 2020 - Philosophy and Technology 33 (2):309-321.
Toward computer-aided induction: a brief review of currently implemented AQVAL programs.Ryszard Stanisław Michalski - 1977 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
A Note On Computers, The Counterfactual, And Causation.Frances Blow - 1983 - History and Theory 22 (4):118-121.
On teaching computer ethics within a computer science department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Dualna natura programów komputerowych.Izabela Bondecka-Krzykowska - 2017 - Semina Scientiarum 16:24-42.
Abe I son. H. Sussman, GJ with Sussman, J.(1985) Structure and Interpretation of Computer Programs, Cambridge MA. Austin, JL (1975) How to Do Things with Words, 2nd edn by JO Urmson and M. Sbisa, Cambridge MA. Babbage, HP (ed.)(1889) Babbage's Calculating Engines, London. [REVIEW]G. P. Baker, P. M. S. Hacker & P. Benner - 1987 - In Rainer P. Born (ed.), Artificial Intelligence: The Case Against. St Martin's Press. pp. 214.
YAQ: a 360 assembler version of the algorithm Aq and comparison with other PL/I programs.Edward Yalow - 1977 - Urbana: Department of Computer Science, University of Illinois at Urbana-Champaign.
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
Logics of Programs Brooklyn, June 17-19, 1985 : Proceedings.Rohit Parikh - 1985
A.I., Scientific discovery and realism.Mario Alai - 2004 - Minds and Machines 14 (1):21-42.
A Formal Framework for Computer Simulations: Surveying the Historical Record and Finding Their Philosophical Roots.Juan M. Durán - 2019 - Philosophy and Technology 34 (1):105-127.
A Formal Framework for Computer Simulations: Surveying the Historical Record and Finding Their Philosophical Roots.Juan M. Durán - 2019 - Philosophy and Technology 34 (1):105-127.
D. C. Luckham, D. M. R. Park, and M. S. Paterson. On formalised computer programs. Journal of computer and system sciences, vol. 4 , pp. 220–249. [REVIEW]D. C. Cooper - 1974 - Journal of Symbolic Logic 39 (2):347.
Temporal Logic of Programs.Fred Kröger - 1987 - Springer.
Minds, brains, and programs.John Searle - 1980 - Behavioral and Brain Sciences 3 (3):417-57.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,389,828)

6 months
5 (#544,079)

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