Login / Signup

Natural proofs.

Alexander A. RazborovSteven Rudich
Published in: STOC (1994)
Keyphrases
  • image processing
  • theorem prover
  • real world
  • multiscale
  • control system
  • formal proofs