HERBY

MaRDI QIDQ33352swMATHFDO

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

Described by source

• scientific article; zbMATH DE number 1566502 (Why is no real title available?)
• Heuristics used by HERBY for semantic tree theorem proving

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