ATP cross-verification of the Mizar MPTP challenge problems
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Evaluation of automated theorem proving on the Mizar mathematical library
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Eliciting Implicit Assumptions of Mizar Proofs by Property Omission
Journal of Automated Reasoning
Journal of Automated Reasoning
Toward cognitive support for OWL justifications
Knowledge-Based Systems
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
Journal of Automated Reasoning
| Hi-index | 0.00 |