HERBY

swMATH21545MaRDI QIDQ33352FDOQ33352

Author name not available (Why is that?)

Described by source

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

Cited In (3)

• Octopus: combining learning and parallel search
• Exploiting parallelism: highly competitive semantic tree theorem prover
• Title not available (Why is that?)

This page was built for software: HERBY