Evaluating general purpose automated theorem proving systems
Artificial Intelligence
The CADE-14 ATP System Competition
Journal of Automated Reasoning
The Design of the CADE-13 ATP System Competition
Journal of Automated Reasoning
The Procedures of the CADE-13 ATP System Competition
Journal of Automated Reasoning
SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
Journal of Automated Reasoning
The Results - of the CADE-13 ATP System Competition
Journal of Automated Reasoning
The CADE-15 ATP System Competition
Journal of Automated Reasoning
The CADE-16 ATP System Competition
Journal of Automated Reasoning
The CADE-17 ATP System Competition
Journal of Automated Reasoning
The IJCAR ATP System Competition
Journal of Automated Reasoning
AI Communications
AI Communications - CASC
A taxonomy of theorem-proving strategies
Artificial intelligence today
Hi-index | 0.00 |