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. DENDRAL -- a Computer Program for Generating and Filtering Chemical Structures. AIM-049

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

28. Programmed Data Processor-6 Hardware log

29. Programmed Data Processor-6 Hardware log

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

31. Stanford University Financial Report 1967

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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