Search

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

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

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

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

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

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

8. PROPOSAL FOR EXPANSION OF THE STANFORD ARTIFICIAL INTELLIGENCE PROJECT

9. Simple Simon. AIM-035

10. Stanford Time-Sharing Project Memo : A Brief Description of The SDC Time-Sharing System. Memo 33

11. Stanford Time-Sharing Project Memo : An Outline of the Mac Time-Sharing System. Memo 27

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

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

14. Stanford Time-Sharing Project Memo : Outline of the Time Sharing System at Cernegie Institute of Technology, Pittsburgh. Memo 30

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

16. Stanford Time-Sharing Project Memo : RAID (alias TVDDT). Memo 37

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

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

19. Stanford Time-Sharing Project Memo : TVEDIT. Memo 32

20. The 138 Analog Digital Converter. AIM-032

21. The Advice Taker and GPS. AIM-033

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

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

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

25. A Formal System of Computation. AIM-025

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

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

28. Axiomatization and Implementation. AIM-015

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

30. \doc\s\uuo\upd

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

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

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

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

35. LISP 2 Specifications Proposal. AIM-021

36. PDP-6 Price List

37. Programmed Data Processor-10 Manual

38. Programmed Data Processor-6

39. Programmed Data Processor-6 Handbook

40. Programmed Data Processor-6 Handbook

41. Programmed Data Processor-6 Handbook

42. Programming Languages and Translation. AIM-019

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

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

45. Stanford Time-Sharing Project Memo : Gogol Error Messages. Memo 24

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

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

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

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