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?per_page=12&range%5Bpub_year_tisim%5D%5Bbegin%5D=1970&range%5Bpub_year_tisim%5D%5Bend%5D=1971&range_end=1979&range_field=pub_year_tisim&range_start=1961&sort=author_sort+asc%2C+title_sort+asc&view=masonry
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
« Previous |
1
-
12
of
205
|
Next »
Sort
by author
relevance
year (new to old)
year (old to new)
author
title
Number of results to display per page
12
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
2.
The translation of 'go to' programs to 'while' programs
3.
The Translation of 'GO-TO' Programs to 'WHILE' Programs. AIM-138
4.
The Heuristic DENDRAL program for explaining empirical data
5.
The Heuristic DENDRAL Program for Explaining Empirical Data. AIM-141
6.
Program schemas with equality
7.
Program Schemas With Equality. AIM-158
8.
On Generality and Problem Solving : a Case Study Using the Dendral Program. AIM-131
9.
Correctness of two compilers for a Lisp subset
10.
Mathematical Theory of Partial Correctness. AIM-139
11.
Towards automatic program synthesis
12.
Towards Automatic Program Synthesis. AIM-127
13.
\jmc06\cartes\rls
« Previous
Next »
1
2
3
4
5
…
17
18
