Login / Signup

Using Isabelle to Prove Simple Theorems.

Sara Kalvala
Published in: HUG (1993)
Keyphrases
  • search engine
  • computer vision
  • feature selection
  • decision making
  • bayesian networks
  • preprocessing
  • mobile robot