Showing Image 64 items

31. Dan Klein, Stanford Artificial Intelligence Laboratory Reunion

32. Stanford Artificial Intelligence Laboratory reunion awards

33. A new approach to recursive programs.

34. A deductive approach to program synthesis

35. AL users' manual

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

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

38. Interactive generation of object models with a manipulator.

39. BAIL: a debugger for SAIL.

40. FAIL.