HERBY

swMATH21545MaRDI QIDQ33352FDOQ33352

Author name not available (Why is that?)

Official website: http://www.springer.com/de/book/9780387950754

Described by source

• Heuristics used by HERBY for semantic tree theorem proving
• Unnamed Publication

Cited In (16)

• A domain-independent system for modeling number theory using first-order predicate logic
• Octopus: combining learning and parallel search
• Exploiting parallelism: highly competitive semantic tree theorem prover
• PLAGIATOR
• TGTP
• THEO
• Octopus
• Roo
• UMLsec
• EQP
• MARTE
• SPTHEO
• Peers-mcd
• PARTHENON
• PrHERBY
• Aquarius

This page was built for software: HERBY