Login / Signup
Refutations by Matings.
Peter B. Andrews
Published in:
IEEE Trans. Computers (1976)
Keyphrases
</>
theorem prover
general purpose
proof search