TGTP

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