A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Handbook of automated reasoning
A multi-agent framework for distributed theorem proving
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |