The following pages link to Roo (Q24406):
Displaying 6 items.
- Automated reasoning and nonclassical logics: Introduction (Q805615) (← links)
- Octopus: combining learning and parallel search (Q861370) (← links)
- Uniform strategies: The CADE-11 theorem proving contest (Q1319384) (← links)
- A taxonomy of parallel strategies for deduction (Q1601867) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- (Q4539595) (← links)