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
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Advanced study institute on artificial intelligence and heuristic programming Findler, N.V.
1970
1 3-4 p. 291-298
8 p.
artikel
2 An examination of the geometry theorem machine Gilmore, P.C.
1970
1 3-4 p. 171-187
17 p.
artikel
3 Author index 1970
1 3-4 p. 300-
1 p.
artikel
4 Errata 1970
1 3-4 p. 299-
1 p.
artikel
5 Heuristically guided search and chromosome matching Montanari, Ugo
1970
1 3-4 p. 227-245
19 p.
artikel
6 Heuristic search viewed as path finding in a graph Pohl, Ira
1970
1 3-4 p. 193-204
12 p.
artikel
7 Renamable paramodulation for automatic theorem proving with equality Chang, C.L.
1970
1 3-4 p. 247-256
10 p.
artikel
8 Resolution graphs Yates, robert A.
1970
1 3-4 p. 257-289
33 p.
artikel
9 Scene analysis using regions Brice, Claude R.
1970
1 3-4 p. 205-226
22 p.
artikel
10 The semantics of induction and the possibility of complete systems of inductive inference Meltzer, B.
1970
1 3-4 p. 189-192
4 p.
artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland