Search

Showing 21 items on ""
A new approach to recursive programs.
A deductive approach to program synthesis
AL users' manual
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.
Natural language understanding systems within the AI paradigm: a survey and some comparisons.
Inference rules for program annotation