SicoTHEO

MaRDI QIDQ21959swMATHFDO

Official website http://link.springer.com/chapter/10.1007/3-540-61511-3_87

Cited in

(18)

• PLAGIATOR
• TGTP
• Amphion
• PARTHEO
• Octopus
• Proof planning with multiple strategies
• Roo
• scientific article; zbMATH DE number 1566286 (Why is no real title available?)
• EQP
• SPTHEO
• PARTHENON
• Aquarius
• scientific article; zbMATH DE number 1552517 (Why is no real title available?)
• scientific article; zbMATH DE number 1748586 (Why is no real title available?)
• SiCoTHEO: Simple competitive parallel theorem provers
• SETHEO goes software engineering: application of ATP to software reuse
• A parallelized theorem prover for a logic with parallel execution
• Octopus: combining learning and parallel search

This page was built for software: SicoTHEO