Journal of Automated Reasoning
AI Communications
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
The TPTP world - infrastructure for automated reasoning
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Hi-index | 0.00 |