Skip to search
Skip to main content
Skip to first result
The History of Artificial Intelligence - Spotlight at Stanford
Sign in
Feedback
Contact us
Reporting from: https://exhibits.stanford.edu/ai/catalog?f%5Btopic_facet%5D%5B%5D=Artificial+intelligence&per_page=96&range%5Bpub_year_tisim%5D%5Bbegin%5D=1960&range%5Bpub_year_tisim%5D%5Bend%5D=1964&range_end=2007&range_field=pub_year_tisim&range_start=1950&sort=pub_year_isi+desc%2C+title_sort+asc&view=slideshow
Message
Your name
Ignore this text box. It is used to detect spammers. If you enter anything into this text box, your message will not be sent.
Your email
Cancel
The History of Artificial Intelligence
Home
About
Search in
Everything
Title
Author/Contributor
Subject
search for
Search
Search
Home
Search results
Search
Search Constraints
Start Over
Start over
You searched for:
Topic
Artificial intelligence
✖
Remove constraint Topic: Artificial intelligence
Date Range
1960
to
1964
✖
Remove constraint Date Range: <span class="from" data-blrl-begin="1960">1960</span> to <span class="to" data-blrl-end="1964">1964</span>
1
-
91
of
91
Sort
by year (new to old)
relevance
year (new to old)
year (old to new)
author
title
Number of results to display per page
96
per page
per page
12
per page
24
per page
48
per page
96
per page
{:heatmaps=>"Map"}
List view
List
Gallery view
Gallery
Heatmap view
Map
Masonry view
Masonry
Slideshow view
Slideshow
Search Results
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
Missing
×
A Formal Description of a Subset of ALGOL. AIM-024
1 of 91
A Formal System of Computation. AIM-025
2 of 91
A Tough nut for Proof Procedures. AIM-016
3 of 91
An Expression Input Routine for LISP. AIM-018
4 of 91
Axiomatization and Implementation. AIM-015
5 of 91
Computer Control of a Machine for Exploring Mars. AIM-014
6 of 91
\doc\s\uuo\upd
7 of 91
Documentation of the MacMahon Squares Problem. AIM-012
8 of 91
Experiments on Automatic Speech Recognition by a Digital Computer. AIM-026
9 of 91
Formal Description of the Game of Pang-Ke. AIM-017
10 of 91
Kalah -- the Game and the Program. AIM-022
11 of 91
LISP 2 Specifications Proposal. AIM-021
12 of 91
PDP-6 Price List
13 of 91
Programmed Data Processor-10 Manual
14 of 91
Programmed Data Processor-6
15 of 91
Programmed Data Processor-6 Handbook
16 of 91
Programmed Data Processor-6 Handbook
17 of 91
Programmed Data Processor-6 Handbook
18 of 91
Programming Languages and Translation. AIM-019
19 of 91
Source Language Optimization of For-loops. AIM-020
20 of 91
The New LISP System (LISP 1.55). AIM-013
21 of 91
Time-Sharing Project Working Papers - Preliminary Timeshared Operation by John McCarthy and Improvements to the Kalah Program by Richard Russell
22 of 91
Algebraic Simplication. AIM-005
23 of 91
An Algebraic Simplify Program in LISP. AIM-011
24 of 91
Cart, Stanford Artificial Intelligence Laboratory
25 of 91
Clock function for LISP 1.5. AIM-004
26 of 91
Computing Estimates for the Number of Bisections of an NxN Checkerboard for N Even. AIM-009
27 of 91
Improvements in LISP Debugging. AIM-010
28 of 91
Non-printing Compiler. AIM-006
29 of 91
Predicate calculus with "undefined" as a truth-value. AIM-001
30 of 91
Programs With Common Sense. AIM-007
31 of 91
Situations, actions, and causal laws. AIM-002
32 of 91
Stanford Artificial Intelligence Laboratory records, 1963-2009
33 of 91
Storage Conventions in LISP 2. AIM-008
34 of 91
"The Mikado" as an advice taker problem. AIM-003
35 of 91
Revised Report on the Algorithmic Language ALGOL 60
36 of 91
Time-Sharing Computer Systems
37 of 91
A Basis for a Mathematical Theory of Computation
38 of 91
Cart, Stanford Artificial Intelligence Laboratory
39 of 91
Photographs
40 of 91
John McCarthy papers, 1951-2008
41 of 91
Alan Kay. Part 1
42 of 91
Alan Kay. Part 2
43 of 91
Alan Kay. Part 3
44 of 91
Albert Yu
45 of 91
Bob Flast
46 of 91
Bob Flast. Parts 1-2
47 of 91
Bob Flast. Parts 3-4
48 of 91
Bruce Johnson
49 of 91
Bruce Johnson. Parts 2-4
50 of 91
Chuck Williams, Inference Corppration, HPN interview
51 of 91
CS226 Expert Systems Applications--Avron Barr. Part 1
52 of 91
CS226 Expert Systems Applications--Avron Barr. Part 2
53 of 91
CS226 Expert Systems Applications--Ed Mahler
54 of 91
CS226 Expert Systems Applications--Ed Mahler
55 of 91
CS226 Expert Systems Applications--John Shock
56 of 91
CS226 Expert Systems Applications--Karl Wiig. Part 1
57 of 91
CS226 Expert Systems Applications--Paul Harmon. Part 1
58 of 91
CS226 Expert Systems Applications--Paul Harmon. Part 2
59 of 91
CS226 Expert Systems Applications--Peter Hart
60 of 91
CS226 Expert Systems Applications--Peter Hart (Short)
61 of 91
CS226 Expert Systems Applications--Rick Hayes Roth. Part 1
62 of 91
CS226 Expert Systems Applications--Rick Hayes Roth. Part 2
63 of 91
FMC. Part 1
64 of 91
FMC. Part 2
65 of 91
FMC. Part 3
66 of 91
Fujitsu and ICOT I
67 of 91
Heuristic Programming Project
68 of 91
Introduction to Teknowledge
69 of 91
IQ-09 Exploiting Task Structure to Automate Knowledge Acquisition
70 of 91
IQ-22 Where are We Now and Where are We Going?. Part 1
71 of 91
IQ-22 Where are We Now and Where are We Going?. Part 2
72 of 91
KAJIMA CRIEPI, MKI, TOYOTA III
73 of 91
Laurel Miller
74 of 91
Molecular Memories and Determinants of the Utility of Large Memories
75 of 91
NAVISTAR. Part 5
76 of 91
NAVISTAR. Parts 1-2
77 of 91
NAVISTAR. Parts 3-4
78 of 91
NEC, ETL, SONY, CANON II
79 of 91
Presentation of Honorary Degree by President Michael I. Sovern - Herbert A. Simon "Cohabiting the Planet with Computers"
80 of 91
Software Development in the US and Japan
81 of 91
Some Philosophical Problems from the Standpoint of Artificial Intelligence
82 of 91
Study Results of First Wave of Expert Systems Applications to Business
83 of 91
Study Results of First Wave of Expert Systems Applications to Business
84 of 91
TI - afternoon 7; TI - late afternoon 8. Parts 7-8
85 of 91
TI (A.M.). Parts 3-4
86 of 91
TI Artificial Intelligence (AI) Satellite Symposium : Buchanan Lecture and Q and A
87 of 91
TI Artificial Intelligence (AI) Satellite Symposium : Feigenbaum Lecture and Q and A
88 of 91
TI (P.M.). Parts 5-6
89 of 91
unidentified
90 of 91
Wolfgang - 3 Compositions, Riechen
91 of 91