swMATH1826MaRDI QIDQ14474FDOQ14474
Author name not available (Why is that?)
Official website: https://www.cs.mcgill.ca/~newborn/
Cited In (12)
- Improving the time efficiency of proving theorems using a learning mechanism
- A domain-independent system for modeling number theory using first-order predicate logic
- Octopus: combining learning and parallel search
- Octopus
- Roo
- HERBY
- SPTHEO
- PARTHENON
- Aquarius
- NeuroShell 2
- Heuristics used by HERBY for semantic tree theorem proving
- The practicality of generating semantic trees for proofs of unsatisfiability
This page was built for software: TGTP
