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

1. Stanford Time-Sharing Project Memo : The Post System. Memo 34

2. Stanford Time-Sharing Project Memo : Commands for Bifrost Under Odin. Memo 29

3. Stanford Time-Sharing Project Memo : Preliminary Specifications New Time-Sharing System. Memo 28

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

5. PDP-6 Price List

6. Programmed Data Processor-10 Manual

7. Programmed Data Processor-6

8. Programmed Data Processor-6 Handbook

9. Programmed Data Processor-6 Handbook

10. Programmed Data Processor-6 Handbook

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

12. Stanford Time-Sharing Project Memo : The Scope Text Editor. Memo 26

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

14. Axiomatization and Implementation. AIM-015

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

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

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

18. Programming Languages and Translation. AIM-019

19. The Advice Taker and GPS. AIM-033

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

21. Stanford Time-Sharing Project Memo : Leo III Time Sharing. Memo 31

22. A Formal System of Computation. AIM-025

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

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