Roo

swMATH12478MaRDI QIDQ24406FDOQ24406

Author name not available (Why is that?)

Official website: http://users.cecs.anu.edu.au/~jks/roo.html

Cited In (17)

• Octopus: combining learning and parallel search
• Uniform strategies: The CADE-11 theorem proving contest
• AURA
• Octopus
• Chainsaw
• COROR
• DReW
• EQP
• SPTHEO
• Snorocket
• PARTHENON
• METEOR
• Aquarius
• 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