Roo
From MaRDI portal
Software:24406
swMATH12478MaRDI QIDQ24406FDOQ24406
Author name not available (Why is that?)
Cited In (6)
- Octopus: combining learning and parallel search
- Uniform strategies: The CADE-11 theorem proving contest
- Title not available (Why is that?)
- Automated reasoning and nonclassical logics: Introduction
- A taxonomy of parallel strategies for deduction
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for software: Roo
