Login / Signup

The Isabelle Collections Framework.

Peter LammichAndreas Lochbihler
Published in: ITP (2010)
Keyphrases
  • main contribution
  • information retrieval
  • neural network
  • expert systems
  • decision trees
  • probabilistic model