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

1. PDP-6 Price List

2. Programmed Data Processor-10 Manual

3. Programmed Data Processor-6

4. Programmed Data Processor-6 Handbook

5. Programmed Data Processor-6 Handbook

6. Programmed Data Processor-6 Handbook

7. Algebraic Simplication. AIM-005

8. Clock function for LISP 1.5. AIM-004

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

10. Axiomatization and Implementation. AIM-015

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

12. Programming Languages and Translation. AIM-019

13. A Formal System of Computation. AIM-025

14. A Basis for a Mathematical Theory of Computation

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

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

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

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

19. John McCarthy papers, 1951-2008

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

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

22. Programs With Common Sense. AIM-007

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

24. Some Philosophical Problems from the Standpoint of Artificial Intelligence

25. Storage Conventions in LISP 2. AIM-008

26. Time-Sharing Computer Systems

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

28. LISP 2 Specifications Proposal. AIM-021

29. NAVISTAR. Part 5

30. NAVISTAR. Parts 1-2

31. NAVISTAR. Parts 3-4

32. Revised Report on the Algorithmic Language ALGOL 60

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

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

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

36. Improvements in LISP Debugging. AIM-010

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

38. Cart, Stanford Artificial Intelligence Laboratory

39. Cart, Stanford Artificial Intelligence Laboratory

40. Stanford Artificial Intelligence Laboratory records, 1963-2009

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

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

43. CS226 Expert Systems Applications--Ed Mahler

44. CS226 Expert Systems Applications--Ed Mahler

45. CS226 Expert Systems Applications--John Shock

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

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

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

49. CS226 Expert Systems Applications--Peter Hart

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

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

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

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

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

55. Non-printing Compiler. AIM-006

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

57. Alan Kay. Part 1

58. Alan Kay. Part 2

59. Alan Kay. Part 3

60. Albert Yu

61. Bob Flast

62. Bob Flast. Parts 1-2

63. Bob Flast. Parts 3-4

64. Bruce Johnson

65. Bruce Johnson. Parts 2-4

66. Chuck Williams, Inference Corppration, HPN interview

67. \doc\s\uuo\upd

68. FMC. Part 1

69. FMC. Part 2

70. FMC. Part 3

71. Fujitsu and ICOT I

72. Heuristic Programming Project

73. Introduction to Teknowledge

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

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

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

77. KAJIMA CRIEPI, MKI, TOYOTA III

78. Laurel Miller

79. NEC, ETL, SONY, CANON II

80. Photographs

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. Study Results of First Wave of Expert Systems Applications to Business

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

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

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

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

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

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

90. unidentified

91. Wolfgang - 3 Compositions, Riechen