Login / Signup

Dehn Function and Length of Proofs.

Jan Krajícek
Published in: Int. J. Algebra Comput. (2003)
Keyphrases
  • fixed length
  • computer vision
  • support vector
  • medical images
  • theorem prover
  • theorem proving