Topic: Artificial intelligence / Date Range: <span class="from" data-blrl-begin="1964">1964</span> to <span class="to" data-blrl-end="1965">1965</span> - The History of Artificial Intelligence - Spotlight at Stanford Search Results

Start over Topic Artificial intelligence Date Range 1964 to 1965

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

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

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

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

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

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

7. PROPOSAL FOR EXPANSION OF THE STANFORD ARTIFICIAL INTELLIGENCE PROJECT

8. Simple Simon. AIM-035

9. The 138 Analog Digital Converter. AIM-032

10. The Advice Taker and GPS. AIM-033

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

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

13. A Formal Description of a Subset of ALGOL. AIM-024

14. A Formal System of Computation. AIM-025

15. A Tough nut for Proof Procedures. AIM-016

16. An Expression Input Routine for LISP. AIM-018

17. Axiomatization and Implementation. AIM-015

18. Computer Control of a Machine for Exploring Mars. AIM-014

19. \doc\s\uuo\upd

20. Documentation of the MacMahon Squares Problem. AIM-012

21. Experiments on Automatic Speech Recognition by a Digital Computer. AIM-026

22. Formal Description of the Game of Pang-Ke. AIM-017

23. Kalah -- the Game and the Program. AIM-022

24. LISP 2 Specifications Proposal. AIM-021