Name
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/s10817-006-9052-z | J. Autom. Reasoning |
Keywords | Field | DocType |
Artificial Intelligence,Mathematical Logic,Formal Language,Comprehensive Overview,Algebraic Manipulation | Formal language,Algebraic manipulation,Algorithm,Mathematical proof,Calculus,Mathematics,Mathematical logic | Journal |
Volume | Issue | ISSN |
37 | 3 | 0168-7433 |
Citations | PageRank | References |
1 | 0.36 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jürgen Giesl | 1 | 2048 | 124.90 |
| Deepak Kapur | 2 | 2282 | 235.00 |