Login / Signup

Formal Proof Sketches.

Freek Wiedijk
Published in: TYPES (2003)
Keyphrases
  • formal proof
  • theorem prover
  • high quality
  • relational databases
  • machine learning
  • computer vision
  • database systems
  • object recognition