Date Range: <span class="single" data-blrl-single="1964">1964</span> - The History of Artificial Intelligence - Spotlight at Stanford Search Results

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. Stanford Time-Sharing Project Memo : Cerberus. Memo 14

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

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

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

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

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

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

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

30. Stanford Artificial Intelligence Laboratory records, 1963-2009

31. Photographs

32. John McCarthy papers, 1951-2008

33. Alan Kay. Part 1

34. Alan Kay. Part 2

35. Alan Kay. Part 3

36. Albert Yu

37. Bob Flast

38. Bob Flast. Parts 1-2

39. Bob Flast. Parts 3-4

40. Bruce Johnson

41. Bruce Johnson. Parts 2-4

42. Chuck Williams, Inference Corppration, HPN interview

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

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

45. CS226 Expert Systems Applications--Ed Mahler

46. CS226 Expert Systems Applications--Ed Mahler

47. CS226 Expert Systems Applications--John Shock

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

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

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

51. CS226 Expert Systems Applications--Peter Hart

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

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

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

55. FMC. Part 1

56. FMC. Part 2

57. FMC. Part 3

58. Fujitsu and ICOT I

59. Heuristic Programming Project

60. Introduction to Teknowledge

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

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

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

64. KAJIMA CRIEPI, MKI, TOYOTA III

65. Laurel Miller

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

67. NAVISTAR. Part 5

68. NAVISTAR. Parts 1-2

69. NAVISTAR. Parts 3-4

70. NEC, ETL, SONY, CANON II

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

72. Software Development in the US and Japan

73. Some Philosophical Problems from the Standpoint of Artificial Intelligence

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

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

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

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

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

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

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

81. unidentified

82. Wolfgang - 3 Compositions, Riechen