SicoTHEO
From MaRDI portal
swMATH9982MaRDI QIDQ21959FDOQ21959
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/3-540-61511-3_87
Cited In (18)
- Octopus: combining learning and parallel search
- Title not available (Why is that?)
- SiCoTHEO: Simple competitive parallel theorem provers
- SETHEO goes software engineering: application of ATP to software reuse
- Title not available (Why is that?)
- PLAGIATOR
- TGTP
- Amphion
- PARTHEO
- Octopus
- Roo
- EQP
- SPTHEO
- PARTHENON
- Aquarius
- Proof planning with multiple strategies
- Title not available (Why is that?)
- A parallelized theorem prover for a logic with parallel execution
This page was built for software: SicoTHEO
