Login / Signup

Consolution as a Framework for Comparing Calculi.

Peter BaumgartnerUlrich Furbach
Published in: J. Symb. Comput. (1993)
Keyphrases
  • lightweight
  • main contribution
  • framework enables
  • data sets
  • databases
  • neural network
  • machine learning
  • genetic algorithm
  • metadata
  • decision trees
  • similarity measure