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