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%5Bpub_year_tisim%5D%5B%5D=1964&f%5Btopic_facet%5D%5B%5D=Stanford+Artificial+Intelligence+Laboratory&per_page=48&range%5Bpub_year_tisim%5D%5Bbegin%5D=1964&range%5Bpub_year_tisim%5D%5Bend%5D=1965&range_end=1979&range_field=pub_year_tisim&range_start=1961&sort=score+desc%2C+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
Stanford Artificial Intelligence Laboratory
✖
Remove constraint Topic: Stanford Artificial Intelligence Laboratory
Date Range
1964
to
1965
✖
Remove constraint Date Range: <span class="from" data-blrl-begin="1964">1964</span> to <span class="to" data-blrl-end="1965">1965</span>
1
-
31
of
31
Sort
by relevance
relevance
year (new to old)
year (old to new)
author
title
Number of results to display per page
48
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
×
A Proof-checker for Predicate Calculus. AIM-027
1 of 31
A Television Camera Interface for the PDP-1. AIM-034
2 of 31
An on Line Algebraic Simplification Program. AIM-037
3 of 31
Isolation of Important Features of a Multitoned Picture. AIM-029
4 of 31
Plans for the Stanford Artificial Intelligence Project. AIM-031
5 of 31
Problems in the Theory of Computation. AIM-028
6 of 31
Simple Simon. AIM-035
7 of 31
The 138 Analog Digital Converter. AIM-032
8 of 31
The Advice Taker and GPS. AIM-033
9 of 31
Utilization of a TV Camera on the PDP-1. AIM-036
10 of 31
A Formal Description of a Subset of ALGOL. AIM-024
11 of 31
A Formal System of Computation. AIM-025
12 of 31
A Tough nut for Proof Procedures. AIM-016
13 of 31
An Expression Input Routine for LISP. AIM-018
14 of 31
Axiomatization and Implementation. AIM-015
15 of 31
Computer Control of a Machine for Exploring Mars. AIM-014
16 of 31
Documentation of the MacMahon Squares Problem. AIM-012
17 of 31
Experiments on Automatic Speech Recognition by a Digital Computer. AIM-026
18 of 31
Formal Description of the Game of Pang-Ke. AIM-017
19 of 31
Kalah -- the Game and the Program. AIM-022
20 of 31
LISP 2 Specifications Proposal. AIM-021
21 of 31
PDP-6 Price List
22 of 31
Programmed Data Processor-10 Manual
23 of 31
Programmed Data Processor-6
24 of 31
Programmed Data Processor-6 Handbook
25 of 31
Programmed Data Processor-6 Handbook
26 of 31
Programmed Data Processor-6 Handbook
27 of 31
Programming Languages and Translation. AIM-019
28 of 31
Source Language Optimization of For-loops. AIM-020
29 of 31
The New LISP System (LISP 1.55). AIM-013
30 of 31
Photographs
31 of 31