Login / Signup

Refutations by Matings.

Peter B. Andrews
Published in: IEEE Trans. Computers (1976)
Keyphrases
  • theorem prover
  • general purpose
  • proof search