Image

Dan Klein, Stanford Artificial Intelligence Laboratory Reunion

31 of 64

Stanford Artificial Intelligence Laboratory reunion awards

32 of 64

Stanford Artificial Intelligence Laboratory (SAIL) - Proposal to NSF

33 of 64

A new approach to recursive programs.

34 of 64

A deductive approach to program synthesis

35 of 64

AL users' manual

36 of 64

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

37 of 64

Checking proofs in the metamathematics of first order logic.

38 of 64

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

39 of 64

Interactive generation of object models with a manipulator.

40 of 64

Exhibits