Login / Signup

in Isabelle: Adding Structure at the Metalevel.

Seán Matthews
Published in: DISCO (1996)
Keyphrases
  • knowledge representation
  • hierarchical structure
  • genetic algorithm
  • learning algorithm
  • clustering algorithm
  • lower bound