Peers-mcd

swMATH23958MaRDI QIDQ35719FDOQ35719

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F3-540-63104-6_6

Cited In (12)

• A Wos Challenge Met
• Set of support, demodulation, paramodulation: a historical perspective
• Octopus: combining learning and parallel search
• The clause-diffusion theorem prover Peers-mcd (system description)
• Octopus
• Roo
• EQP
• HERBY
• SPTHEO
• PARTHENON
• Aquarius
• GKC

This page was built for software: Peers-mcd