Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-29436-6_15 | CADE |
Field | DocType | Citations |
Discrete mathematics,Similarity measure,Axiom,Symbol,Computer science,Automated theorem proving,Natural language processing,Artificial intelligence,Knowledge base,Gas meter prover,Syntax,Semantics | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ulrich Furbach | 1 | 639 | 88.23 |
Teresa Krämer | 2 | 0 | 0.34 |
Claudia Schon | 3 | 16 | 5.73 |