Topic: Artificial intelligence / Date Range: <span class="from" data-blrl-begin="1960">1960</span> to <span class="to" data-blrl-end="1964">1964</span> - The History of Artificial Intelligence - Spotlight at Stanford Search Results

Start over Topic Artificial intelligence Date Range 1960 to 1964

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. The New LISP System (LISP 1.55). AIM-013

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

24. Algebraic Simplication. AIM-005

25. An Algebraic Simplify Program in LISP. AIM-011

26. Cart, Stanford Artificial Intelligence Laboratory

27. Clock function for LISP 1.5. AIM-004

28. Computing Estimates for the Number of Bisections of an NxN Checkerboard for N Even. AIM-009

29. Improvements in LISP Debugging. AIM-010

30. Non-printing Compiler. AIM-006

31. Predicate calculus with "undefined" as a truth-value. AIM-001

32. Programs With Common Sense. AIM-007

33. Situations, actions, and causal laws. AIM-002

34. Stanford Artificial Intelligence Laboratory records, 1963-2009

35. Storage Conventions in LISP 2. AIM-008

36. "The Mikado" as an advice taker problem. AIM-003

37. Revised Report on the Algorithmic Language ALGOL 60

38. Time-Sharing Computer Systems

39. A Basis for a Mathematical Theory of Computation

40. Cart, Stanford Artificial Intelligence Laboratory

41. Photographs

42. John McCarthy papers, 1951-2008

43. Alan Kay. Part 1

44. Alan Kay. Part 2

45. Alan Kay. Part 3

46. Albert Yu

47. Bob Flast

48. Bob Flast. Parts 1-2

49. Bob Flast. Parts 3-4

50. Bruce Johnson

51. Bruce Johnson. Parts 2-4

52. Chuck Williams, Inference Corppration, HPN interview

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

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

55. CS226 Expert Systems Applications--Ed Mahler

56. CS226 Expert Systems Applications--Ed Mahler

57. CS226 Expert Systems Applications--John Shock

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

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

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

61. CS226 Expert Systems Applications--Peter Hart

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

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

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

65. FMC. Part 1

66. FMC. Part 2

67. FMC. Part 3

68. Fujitsu and ICOT I

69. Heuristic Programming Project

70. Introduction to Teknowledge

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

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

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

74. KAJIMA CRIEPI, MKI, TOYOTA III

75. Laurel Miller

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

77. NAVISTAR. Part 5

78. NAVISTAR. Parts 1-2

79. NAVISTAR. Parts 3-4

80. NEC, ETL, SONY, CANON II

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

82. Software Development in the US and Japan

83. Some Philosophical Problems from the Standpoint of Artificial Intelligence

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

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

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

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

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

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

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

91. unidentified

92. Wolfgang - 3 Compositions, Riechen