Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             7 results found
no title author magazine year volume issue page(s) type
1 Author index Volume 2 1971
2 3-4 p. 330-
1 p.
article
2 Experiments with a heuristic theorem-proving program for predicate calculus with equality Norton, Lewis M.
1971
2 3-4 p. 261-284
24 p.
article
3 Grid coding: A preprocessing technique for robot and machine vision Will, P.M.
1971
2 3-4 p. 319-329
11 p.
article
4 Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence Sloman, Aaron
1971
2 3-4 p. 209-225
17 p.
article
5 Linear resolution with selection function Kowalski, Robert
1971
2 3-4 p. 227-260
34 p.
article
6 Protocol analysis as a task for artificial intelligence Waterman, D.A.
1971
2 3-4 p. 285-318
34 p.
article
7 Strips: A new approach to the application of theorem proving to problem solving Fikes, Richard E.
1971
2 3-4 p. 189-208
20 p.
article
                             7 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands