Mathematical applications of inductive logic programming
Machine Learning
Applying SAT Solving in Classification of Finite Algebras
Journal of Automated Reasoning
The TM System for Repairing Non-Theorems
Electronic Notes in Theoretical Computer Science (ENTCS)
Managing automatically formed mathematical theories
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
System description: MULTI a multi-strategy proof planner
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |