Sign in

Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra.

Maximiliano CristiáRicardo D. KatzGianfranco Rossi
Published in: Comput. J. (2022)
Keyphrases
  • finite sets
  • piecewise linear
  • databases
  • multi class
  • small number
  • finite number
  • decision trees
  • input data
  • theoretical framework