Showing Image 64 items

1. Stanford Artificial Intelligence Laboratory (SAIL) - Proposal to NSF

2. A new approach to recursive programs.

3. A deductive approach to program synthesis

4. AL users' manual

5. Proposal to The Defense Advanced Research Projects Agency for a Network-Based Graphical Design System

6. Checking proofs in the metamathematics of first order logic.

7. A hypothetical dialogue exhibiting a knowledge base for a program-understanding system.

8. Interactive generation of object models with a manipulator.

9. BAIL: a debugger for SAIL.

10. FAIL.