Search

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

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

4. Programmed Data Processor-6 Hardware log

5. Stanford Artificial Intelligence Laboratory

6. Stanford Artificial Intelligence Laboratory

7. Stanford Artificial Intelligence Laboratory

8. Stanford Artificial Intelligence Laboratory

9. Stanford Artificial Intelligence Laboratory

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

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

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

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

14. Programmed Data Processor-6 Hardware log

15. Programmed Data Processor-6 Hardware log

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

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

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

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

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

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

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

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

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

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

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

27. Simple Simon. AIM-035

28. The 138 Analog Digital Converter. AIM-032

29. The Advice Taker and GPS. AIM-033

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

31. Photographs