Topic: Stanford Artificial Intelligence Laboratory / 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 Stanford Artificial Intelligence Laboratory Date Range 1964 to 1965

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

2. PDP-6 Price List

3. Programmed Data Processor-10 Manual

4. Programmed Data Processor-6

5. Programmed Data Processor-6 Handbook

6. Programmed Data Processor-6 Handbook

7. Programmed Data Processor-6 Handbook

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

9. Axiomatization and Implementation. AIM-015

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

11. Programming Languages and Translation. AIM-019

12. The Advice Taker and GPS. AIM-033

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

14. A Formal System of Computation. AIM-025

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

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

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

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

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

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

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

22. LISP 2 Specifications Proposal. AIM-021

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

24. The 138 Analog Digital Converter. AIM-032