Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning
Solution of the Robbins Problem
Journal of Automated Reasoning
Journal of Automated Reasoning
Hi-index | 0.00 |