SicoTHEO
From MaRDI portal
Software:21959
swMATH9982MaRDI QIDQ21959FDOQ21959
Author name not available (Why is that?)
Cited In (8)
- 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?)
- 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
