Login / Signup

Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable.

Andreas Lochbihler
Published in: ITP (2013)
Keyphrases
  • lightweight
  • data sets
  • neural network
  • genetic algorithm
  • data model
  • database
  • object oriented