SicoTHEO
From MaRDI portal
Software:21959
swMATH9982MaRDI QIDQ21959FDOQ21959
Author name not available (Why is that?)
Cited In (8)
- SETHEO goes software engineering: Application of ATP to software reuse
- Octopus: combining learning and parallel search
- Title not available (Why is that?)
- SiCoTHEO: Simple competitive parallel theorem provers
- Title not available (Why is that?)
- A Parallelized Theorem Prover for a Logic with Parallel Execution
- Proof planning with multiple strategies
- Title not available (Why is that?)
This page was built for software: SicoTHEO
