The CADE-16 ATP System Competition
Journal of Automated Reasoning
Compiling dyadic first-order specifications into map algebra
Theoretical Computer Science - Algebraic methods in language processing
An Equational Re-engineering of Set Theories
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Comparing Mathematical Provers
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Instructing Equational Set-Reasoning with Otter
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Evaluating reasoning heuristics in the context of multi-level marketing structures
SAICSIT '04 Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Decidability results for sets with atoms
ACM Transactions on Computational Logic (TOCL)
AI Communications
SRASS - A Semantic Relevance Axiom Selection System
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Combining type theory and untyped set theory
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Theorem proving in large formal mathematics as an emerging AI field
Automated Reasoning and Mathematics
Hi-index | 0.00 |