6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
4 - The LISP Interpreter EVAL
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 69-90
-
- Chapter
- Export citation
A - Implementation Notes
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 165-166
-
- Chapter
- Export citation
Contents
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp v-vi
-
- Chapter
- Export citation
3 - A Version of Pure LISP
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 51-68
-
- Chapter
- Export citation
2 - Formal Proof in First Order Logic
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 13-52
-
- Chapter
- Export citation
B - The Number of S-expressions of Size N
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 167-175
-
- Chapter
- Export citation
![](http://static.cambridge.org/covers/CPC_0_0_0/combinatorics,_probability and computing.jpg)
Combinatorics, Probability and Computing
-
- Journal
-
- Get access
- Contains open access