Structuring Resolution Proofs by Introducing New Lemmata
Journal of Automated Reasoning
Computers, Justification, and Mathematical Knowledge
Minds and Machines
On the complexity of extending ground resolution with symmetry rules
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A survey of automated deduction
Artificial intelligence today
Computer search for counterexamples to wilkie's identity
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |