Name
Year | Venue | Keywords |
|---|---|---|
1996 | JICSLP | theorem proving |
Field | DocType | Citations |
Computational logic,Programming language,Horn clause,Second-order logic,Programming paradigm,Automated theorem proving,Algorithm,First-order logic,Logic programming,Resolution (logic),Mathematics | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 8 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Chandrabose Aravindan | 1 | 137 | 23.13 |
| Peter Baumgartner | 2 | 364 | 26.97 |
| Jürgen Dix | 3 | 979 | 85.23 |
| Ulrich Furbach | 4 | 639 | 88.23 |
| Gerd Neugebauer | 5 | 9 | 2.30 |
| Ilkka Niemelä | 6 | 2939 | 148.38 |
| Dorothea Schäfer | 7 | 5 | 1.44 |
| Frieder Stolzenburg | 8 | 263 | 31.54 |