Showing Image 64 items

31. Dan Klein, Stanford Artificial Intelligence Laboratory Reunion

32. Stanford Artificial Intelligence Laboratory reunion awards

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

34. A new approach to recursive programs.

35. A deductive approach to program synthesis

36. AL users' manual

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

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

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

40. Interactive generation of object models with a manipulator.