Search

Start over Date Range 1964

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

2. A Formal System of Computation. AIM-025

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

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

5. Axiomatization and Implementation. AIM-015

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

7. \doc\s\uuo\upd

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

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

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

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

12. LISP 2 Specifications Proposal. AIM-021

13. PDP-6 Price List

14. Programmed Data Processor-10 Manual

15. Programmed Data Processor-6

16. Programmed Data Processor-6 Handbook

17. Programmed Data Processor-6 Handbook

18. Programmed Data Processor-6 Handbook

19. Programming Languages and Translation. AIM-019

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

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

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

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

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

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

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

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

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

29. Stanford Artificial Intelligence Laboratory records, 1963-2009

30. Photographs

31. John McCarthy papers, 1951-2008

32. Alan Kay. Part 1

33. Alan Kay. Part 2

34. Alan Kay. Part 3

35. Albert Yu

36. Bob Flast

37. Bob Flast. Parts 1-2

38. Bob Flast. Parts 3-4

39. Bruce Johnson

40. Bruce Johnson. Parts 2-4

41. Chuck Williams, Inference Corppration, HPN interview

42. CS226 Expert Systems Applications--Avron Barr. Part 1

43. CS226 Expert Systems Applications--Avron Barr. Part 2

44. CS226 Expert Systems Applications--Ed Mahler

45. CS226 Expert Systems Applications--Ed Mahler

46. CS226 Expert Systems Applications--John Shock

47. CS226 Expert Systems Applications--Karl Wiig. Part 1

48. CS226 Expert Systems Applications--Paul Harmon. Part 1

49. CS226 Expert Systems Applications--Paul Harmon. Part 2

50. CS226 Expert Systems Applications--Peter Hart

51. CS226 Expert Systems Applications--Peter Hart (Short)

52. CS226 Expert Systems Applications--Rick Hayes Roth. Part 1

53. CS226 Expert Systems Applications--Rick Hayes Roth. Part 2

54. FMC. Part 1

55. FMC. Part 2

56. FMC. Part 3

57. Fujitsu and ICOT I

58. Heuristic Programming Project

59. Introduction to Teknowledge

60. IQ-09 Exploiting Task Structure to Automate Knowledge Acquisition

61. IQ-22 Where are We Now and Where are We Going?. Part 1

62. IQ-22 Where are We Now and Where are We Going?. Part 2

63. KAJIMA CRIEPI, MKI, TOYOTA III

64. Laurel Miller

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

66. NAVISTAR. Part 5

67. NAVISTAR. Parts 1-2

68. NAVISTAR. Parts 3-4

69. NEC, ETL, SONY, CANON II

70. Presentation of Honorary Degree by President Michael I. Sovern - Herbert A. Simon "Cohabiting the Planet with Computers"

71. Software Development in the US and Japan

72. Some Philosophical Problems from the Standpoint of Artificial Intelligence

73. Study Results of First Wave of Expert Systems Applications to Business

74. Study Results of First Wave of Expert Systems Applications to Business

75. TI - afternoon 7; TI - late afternoon 8. Parts 7-8

76. TI (A.M.). Parts 3-4

77. TI Artificial Intelligence (AI) Satellite Symposium : Buchanan Lecture and Q and A

78. TI Artificial Intelligence (AI) Satellite Symposium : Feigenbaum Lecture and Q and A

79. TI (P.M.). Parts 5-6

80. unidentified

81. Wolfgang - 3 Compositions, Riechen