Login / Signup

Implicit proofs.

Jan Krajícek
Published in: J. Symb. Log. (2004)
Keyphrases
  • theorem proving
  • decision procedures
  • formal proof
  • real world
  • three dimensional
  • video sequences
  • formal proofs