Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Author index Volume 2 1971
2 3-4 p. 330-
1 p.
artikel
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.
artikel
3 Grid coding: A preprocessing technique for robot and machine vision Will, P.M.
1971
2 3-4 p. 319-329
11 p.
artikel
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.
artikel
5 Linear resolution with selection function Kowalski, Robert
1971
2 3-4 p. 227-260
34 p.
artikel
6 Protocol analysis as a task for artificial intelligence Waterman, D.A.
1971
2 3-4 p. 285-318
34 p.
artikel
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.
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland