Login / Signup
The Isabelle Collections Framework.
Peter Lammich
Andreas Lochbihler
Published in:
ITP (2010)
Keyphrases
</>
main contribution
information retrieval
neural network
expert systems
decision trees
probabilistic model