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

Start over Topic Artificial intelligence Date Range 1964 to 1965

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

3. PDP-6 Price List

4. Programmed Data Processor-10 Manual

5. Programmed Data Processor-6

6. Programmed Data Processor-6 Handbook

7. Programmed Data Processor-6 Handbook

8. Programmed Data Processor-6 Handbook

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. The Advice Taker and GPS. AIM-033

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

15. A Formal System of Computation. AIM-025

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

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

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

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

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

21. John McCarthy papers, 1951-2008

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

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

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

25. PROPOSAL FOR EXPANSION OF THE STANFORD ARTIFICIAL INTELLIGENCE PROJECT

26. Some Philosophical Problems from the Standpoint of Artificial Intelligence

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

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

29. LISP 2 Specifications Proposal. AIM-021

30. NAVISTAR. Part 5

31. NAVISTAR. Parts 1-2

32. NAVISTAR. Parts 3-4

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

34. The 138 Analog Digital Converter. AIM-032

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

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

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

38. Simple Simon. AIM-035

39. Stanford Artificial Intelligence Laboratory records, 1963-2009

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

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

42. CS226 Expert Systems Applications--Ed Mahler

43. CS226 Expert Systems Applications--Ed Mahler

44. CS226 Expert Systems Applications--John Shock

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

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

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

48. CS226 Expert Systems Applications--Peter Hart

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