Year | DOI | Venue |
---|---|---|
2015 | 10.1007/s10817-015-9343-3 | Journal of Automated Reasoning |
Keywords | Field | DocType |
Transparent Semantic,Proof Checker,Memorial Service,Mizar Mathematical Library,Intelligent Computer Mathematic | Discrete mathematics,Algebra,Automated proof checking,Mathematics | Journal |
Volume | Issue | ISSN |
55 | 3 | 0168-7433 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Krystyna Kuperberg | 1 | 3 | 1.53 |