Year | DOI | Venue |
---|---|---|
1987 | 10.1305/ndjfl/1093637644 | Notre Dame Journal of Formal Logic |
Field | DocType | Volume |
Set theory,Automated theorem proving,Algorithm,Mathematics,Mathematical logic | Journal | 28 |
Issue | Citations | PageRank |
4 | 2 | 0.47 |
References | Authors | |
0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nicolas D. Goodman | 1 | 54 | 11.97 |