Year | DOI | Venue |
---|---|---|
1993 | 10.1007/BF00881870 | J. Autom. Reasoning |
Keywords | Field | DocType |
Artificial Intelligence,Mathematical Logic,Algebraic Manipulation,Personal View | Algebraic manipulation,Algorithm,Artificial intelligence,Mathematics,Mathematical logic | Journal |
Volume | Issue | ISSN |
11 | 3 | 0168-7433 |
Citations | PageRank | References |
4 | 0.70 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ross A. Overbeek | 1 | 760 | 234.40 |