Searching for "Towards a Mathematical Science of Computation." – sorted by Relevance.
-
Towards a Mathematical Science of Computation
- Towards a Mathematical Science of Computation J. McCarthy Computer Science Department Stanford
- Cited by 104 (6 self) – Add To MetaCart
-
Decision Procedures for Extensions of the Theory of Arrays
- “Towards a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory
- Cited by 3 (1 self) – Add To MetaCart
-
Deciding extension of the theory of arrays by integrating decision procedures and instantiation strategies. Rapporto Interno DSI 309-06, Università degli Studi di
- , introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central
- Cited by 2 (1 self) – Add To MetaCart
-
Domain-Independent Planning: Representation and Plan Generation
- Kaufmann, 1987, pp. 153-173. [McCarthy, 1962] John McCarthy, "Towards a mathematical science
- Cited by 127 (1 self) – Add To MetaCart
-
1 Abstract Mechanized Operational Semantics:
- a Mathematical Science of Computation” (1962). The interpretive approach was used with mechanized
- Add To MetaCart
-
J. McCarthy
- Towards a Mathematical Science of Computation J. McCarthy Computer Science Department Stanford
- Add To MetaCart

