Login / Signup

Corrections for "On the lengths of proofs in the propositional calculus preliminary version".

Stephen A. CookRobert A. Reckhow
Published in: SIGACT News (1974)
Keyphrases
  • preliminary version
  • propositional calculus
  • theorem prover
  • theorem proving
  • equational theories
  • formal proof
  • formal proofs
  • neural network
  • high level
  • mathematical proofs