The CADE-14 ATP System Competition
Journal of Automated Reasoning
Lemma Generalization and Non-unit Lemma Matching for Model Elimination
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Minimal Answer Computation and SOL
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Annals of Mathematics and Artificial Intelligence
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
Proof simplification for model generation and its applications
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Hi-index | 0.00 |