Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 3
Volume 3, Number 1-3, January 1972
- Bertram C. Bruce:
A Model for Temporal References and Its Application in a Question Answering Program. 1-25 - W. W. Bledsoe, Robert S. Boyer, William H. Henneman:
Computer Proofs of Limit Theorems. 27-60 - A. L. Cherniavsky:
A Program for Timetable Compilation by a Look-Ahead Method. 61-76 - Ronald M. Kaplan:
Augmented Transition Networks as Psychological Models of Sentence Comprehension. 77-100 - Gilbert Falk:
Interpretation of Imperfect Line Data as a Three-Dimensional Scene. 101-144 - James J. Gillogly:
The Technology Chess Program. 145-163 - Louis Hodes:
Solving Problems by Formula Manipulation in Logic and Linear Inequalities. 165-174 - Eliana Minicozzi, Raymond Reiter:
A Note on Linear Resolution Strategies in Consequence-Finding. 175-180 - Alan W. Biermann:
On the Inference of Turing Machines from Sample Computations. 181-198 - Kenneth Mark Colby, Franklin Dennis Hilf, Sylvia Weber, Helena C. Kraemer:
Turing-like Indistinguishability Tests for the Calidation of a Computer Simulation of Paranoid Processes. 199-221 - Ranan B. Banerji, George W. Ernst:
Strategy Construction Using Homomorphisms Between Games. 223-249 - Richard Fikes, Peter E. Hart, Nils J. Nilsson:
Learning and Executing Generalized Robot Plans. 251-288
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 20:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
