Showing Image 64 items

Stanford Artificial Intelligence Laboratory (SAIL) - Proposal to NSF
A new approach to recursive programs.
A deductive approach to program synthesis
AL users' manual
Proposal to The Defense Advanced Research Projects Agency for a Network-Based Graphical Design System
Checking proofs in the metamathematics of first order logic.
A hypothetical dialogue exhibiting a knowledge base for a program-understanding system.
Interactive generation of object models with a manipulator.
BAIL: a debugger for SAIL.
FAIL.