Search

2. Photographs

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

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

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

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

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

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

9. Simple Simon. AIM-035

10. The 138 Analog Digital Converter. AIM-032

11. The Advice Taker and GPS. AIM-033

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

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

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

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

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

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

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

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

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

21. Programmed Data Processor-6 Hardware log

22. Programmed Data Processor-6 Hardware log

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

24. Programmed Data Processor-6 Hardware log

25. Stanford Artificial Intelligence Laboratory

26. Stanford Artificial Intelligence Laboratory

27. Stanford Artificial Intelligence Laboratory

28. Stanford Artificial Intelligence Laboratory

29. Stanford Artificial Intelligence Laboratory

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

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