Image

Dan Klein, Stanford Artificial Intelligence Laboratory Reunion

31 of 53

Stanford Artificial Intelligence Laboratory reunion awards

32 of 53

A new approach to recursive programs.

33 of 53

A deductive approach to program synthesis

34 of 53

AL users' manual

35 of 53

Checking proofs in the metamathematics of first order logic.

36 of 53

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

37 of 53

Interactive generation of object models with a manipulator.

38 of 53

BAIL: a debugger for SAIL.

39 of 53

FAIL.

40 of 53

Exhibits