Date Range: 1964 - The History of Artificial Intelligence - Spotlight at Stanford Search Results

Start over Date Range 1964

1. PDP-6 Price List

2. Programmed Data Processor-10 Manual

3. Programmed Data Processor-6

4. Programmed Data Processor-6 Handbook

5. Programmed Data Processor-6 Handbook

6. Programmed Data Processor-6 Handbook

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

8. Stanford Time-Sharing Project Memo : User's Manual to the Odi Time Sharing System. Memo 23

9. Axiomatization and Implementation. AIM-015

10. Stanford Time-Sharing Project Memo : The Arrangnement of Reserved Areas of the 1301 Disk File. Memo 16

11. Stanford Time-Sharing Project Memo : Time Sharing Implementation on the PDP-1. Memo 20

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

13. Programming Languages and Translation. AIM-019

14. A Formal System of Computation. AIM-025

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

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

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

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

19. John McCarthy papers, 1951-2008

20. Molecular Memories and Determinants of the Utility of Large Memories

21. Some Philosophical Problems from the Standpoint of Artificial Intelligence

22. Stanford Time-Sharing Project Memo : Cerberus. Memo 14

23. Stanford Time-Sharing Project Memo : Preliminary Timeshared Operation. Memo 22

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