Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1990 | 10.1007/3-540-52885-7_124 | CADE |
Keywords | Field | DocType |
high-performance parallel theorem prover,parallel theorem prover,theorem prover | Discrete mathematics,Computer science,Automated theorem proving | Conference |
ISBN | Citations | PageRank |
0-387-52885-7 | 1 | 0.37 |
References | Authors | |
2 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ralph Butler | 1 | 145 | 55.16 |
| Foster Ian | 2 | 22938 | 2663.24 |
| Anita Jindal | 3 | 10 | 1.08 |
| Ross Overbeek | 4 | 62 | 13.28 |