Roo
From MaRDI portal
Software:24406
No author found.
Related Items (6)
Octopus: combining learning and parallel search ⋮ Unnamed Item ⋮ Automated reasoning and nonclassical logics: Introduction ⋮ A taxonomy of parallel strategies for deduction ⋮ Uniform strategies: The CADE-11 theorem proving contest ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for software: Roo
