Journals in DBLP
Artif. Intell.
1981, volume: 16, number: 1
- John Darlington
An Experimental Program Transformation and Synthesis System. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 1981, v:16, n:1, pp:1-46 [Journal] - David A. Plaisted
Theorem Proving with Abstraction. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 1981, v:16, n:1, pp:47-108 [Journal]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002