Peers-mcd
From MaRDI portal
Software:35719
No author found.
Related Items (4)
Octopus: combining learning and parallel search ⋮ The Clause-Diffusion theorem prover Peers-mcd (system description) ⋮ Set of support, demodulation, paramodulation: a historical perspective ⋮ A Wos Challenge Met
This page was built for software: Peers-mcd
