|
Journals in DBLP
- Ugo Montanari
Heuristically Guided Search and Chromosome Matching. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1970, v:1, n:4, pp:227-245 [Journal]
- Chin-Liang Chang
Renamable Paramodulation for Automatic Theorem Proving with Equality. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1970, v:1, n:4, pp:247-256 [Journal]
- Robert A. Yates, Bertram Raphael, Timothy P. Hart
Resolution Graphs. [Citation Graph (1, 0)][DBLP] Artif. Intell., 1970, v:1, n:4, pp:257-289 [Journal]
|