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

Start over Topic Artificial intelligence Date Range 1960 to 1964

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

3. A Formal System of Computation. AIM-025

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

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

6. Axiomatization and Implementation. AIM-015

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

8. \doc\s\uuo\upd

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

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

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

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

13. LISP 2 Specifications Proposal. AIM-021

14. PDP-6 Price List

15. Programmed Data Processor-10 Manual

16. Programmed Data Processor-6

17. Programmed Data Processor-6 Handbook

18. Programmed Data Processor-6 Handbook

19. Programmed Data Processor-6 Handbook

20. Programming Languages and Translation. AIM-019

21. Source Language Optimization of For-loops. AIM-020

22. The New LISP System (LISP 1.55). AIM-013

23. Time-Sharing Project Working Papers - Preliminary Timeshared Operation by John McCarthy and Improvements to the Kalah Program by Richard Russell

24. Algebraic Simplication. AIM-005

25. An Algebraic Simplify Program in LISP. AIM-011