Search

1. Heuristic Dendral: a Family of LISP Programs. AIM-080

2. \jmc\antin

3. \jmc\dadda

4. \jmc\ordin

5. \jmc\p1

6. \jmc\perm

7. \jmc\prob1

8. \jmc\story

9. \jmc\syll

10. \jmc\tech

11. \jmc\testb\sai

12. \jmc\times

13. Toward an Understanding of Information Processes of Scientific Inference in the Context of Organic Chemistry. AIM-099

14. Butterfinger

15. Butterfinger--outtakes

16. Films

17. \jmc\repres\pro

18. Programmed Data Processor-6 Hardware log

19. Stanford Artificial Intelligence Laboratory

20. Stanford Artificial Intelligence Laboratory

21. Stanford Artificial Intelligence Laboratory

22. Stanford Artificial Intelligence Laboratory

23. Stanford Artificial Intelligence Laboratory

24. An Adaptive Command and Control System Utilizing Heuristic Learning Processes. AIM-058

25. Correctness of a Compiler for Algol-like Programs. AIM-048

26. Daughter

27. DENDRAL -- a Computer Program for Generating and Filtering Chemical Structures. AIM-049

28. Preliminary Description of the Display Processor. ON-29

29. Programmed Data Processor-6 Hardware log

30. Programmed Data Processor-6 Hardware log

31. Stanford Plan for Time-Sharing the IBM 360/67

32. Stanford University Financial Report 1967

33. The PDP-6 Proof Checker. AIM-053

34. A Program to Find Objects in a Picture. AIM-039

35. A Proposal for a Visual Input Routine. AIM-042

36. Correctness of a Compiler for Arithmetic Expressions. AIM-040

37. Ed Feigenbaum speech, General Users Meeting. Part 1

38. Ed Feigenbaum speech, General Users Meeting. Part 2

39. Ed Feigenbaum speech, General Users Meeting. Part 3

40. Ed Feigenbaum speech, General Users Meeting. Part 4

41. Lunar Vehicle Remote Control : A Study by Stanford University Mechanical Engineering Design Division

42. Lunar Vehicle Remote Control : A Study by Stanford University Mechanical Engineering Design Division--outtakes

43. Some Completeness Results in the Mathematical Theory of Computation. AIM-045

44. A Proof-checker for Predicate Calculus. AIM-027

45. A Television Camera Interface for the PDP-1. AIM-034

46. An on Line Algebraic Simplification Program. AIM-037

47. Isolation of Important Features of a Multitoned Picture. AIM-029

48. Plans for the Stanford Artificial Intelligence Project. AIM-031

49. Problems in the Theory of Computation. AIM-028

50. PROPOSAL FOR EXPANSION OF THE STANFORD ARTIFICIAL INTELLIGENCE PROJECT

51. Simple Simon. AIM-035

52. Stanford Time-Sharing Project Memo : A Brief Description of The SDC Time-Sharing System. Memo 33

53. Stanford Time-Sharing Project Memo : An Outline of the Mac Time-Sharing System. Memo 27

54. Stanford Time-Sharing Project Memo : Commands for Bifrost Under Odin. Memo 29

55. Stanford Time-Sharing Project Memo : Leo III Time Sharing. Memo 31

56. Stanford Time-Sharing Project Memo : Outline of the Time Sharing System at Cernegie Institute of Technology, Pittsburgh. Memo 30

57. Stanford Time-Sharing Project Memo : Preliminary Specifications New Time-Sharing System. Memo 28

58. Stanford Time-Sharing Project Memo : RAID (alias TVDDT). Memo 37

59. Stanford Time-Sharing Project Memo : The Post System. Memo 34

60. Stanford Time-Sharing Project Memo : The Scope Text Editor. Memo 26

61. Stanford Time-Sharing Project Memo : TVEDIT. Memo 32

62. The 138 Analog Digital Converter. AIM-032

63. The Advice Taker and GPS. AIM-033

64. Time-Sharing Project Working Papers - Report on the 1964 Fall Joint Programming Race

65. Utilization of a TV Camera on the PDP-1. AIM-036

66. Stanford Artificial Intelligence Laboratory records, 1963-2009

67. Photographs

68. John McCarthy papers, 1951-2008

69. Alan Kay. Part 1

70. Alan Kay. Part 2

71. Alan Kay. Part 3

72. Albert Yu

73. Bob Flast

74. Bob Flast. Parts 1-2

75. Bob Flast. Parts 3-4

76. Bruce Johnson

77. Bruce Johnson. Parts 2-4

78. Chuck Williams, Inference Corppration, HPN interview

79. CS226 Expert Systems Applications--Avron Barr. Part 1

80. CS226 Expert Systems Applications--Avron Barr. Part 2

81. CS226 Expert Systems Applications--Ed Mahler

82. CS226 Expert Systems Applications--Ed Mahler

83. CS226 Expert Systems Applications--John Shock

84. CS226 Expert Systems Applications--Karl Wiig. Part 1

85. CS226 Expert Systems Applications--Paul Harmon. Part 1

86. CS226 Expert Systems Applications--Paul Harmon. Part 2

87. CS226 Expert Systems Applications--Peter Hart

88. CS226 Expert Systems Applications--Peter Hart (Short)

89. CS226 Expert Systems Applications--Rick Hayes Roth. Part 1

90. CS226 Expert Systems Applications--Rick Hayes Roth. Part 2

91. FMC. Part 1

92. FMC. Part 2

93. FMC. Part 3

94. Fujitsu and ICOT I

95. Heuristic Programming Project

96. Introduction to Teknowledge