Abstract | ||
---|---|---|
Without Abstract |
Year | DOI | Venue |
---|---|---|
1994 | 10.1007/3-540-58156-1_72 | CADE |
Keywords | Field | DocType |
theorem proving | Ramsey theory,Discrete mathematics,Full employment theorem,Distributed Computing Environment,Proofs of Fermat's little theorem,Automated theorem proving,Allocation algorithm,Fundamental theorem,Mathematics,Compactness theorem | Conference |
ISBN | Citations | PageRank |
3-540-58156-1 | 15 | 0.77 |
References | Authors | |
5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Maria Paola Bonacina | 1 | 544 | 39.48 |
William McCune | 2 | 123 | 27.86 |