Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning
Short Single Axioms for Boolean Algebra
Journal of Automated Reasoning
Applying SAT Solving in Classification of Finite Algebras
Journal of Automated Reasoning
Automatic Construction and Verification of Isotopy Invariants
Journal of Automated Reasoning
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge
Hi-index | 0.00 |