Year | DOI | Venue |
---|---|---|
1982 | 10.1007/BFb0000052 | CADE |
Keywords | Field | DocType |
logic machine architecture,kernel funtions,abstract data type,automated deduction,kernel function,theorem proving,data processing | Abstract data type,Programming language,Computer science,Unification,Automated theorem proving,Algorithm,Automation,Theoretical computer science,Software,String (computer science),Rule of inference,Mathematical logic | Conference |
ISBN | Citations | PageRank |
3-540-11558-7 | 21 | 10.90 |
References | Authors | |
1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ewing L. Lusk | 1 | 3080 | 472.23 |
William McCune | 2 | 123 | 27.86 |
Ross A. Overbeek | 3 | 760 | 234.40 |