Sign in

Proof Mining with Dependent Types.

Ekaterina KomendantskayaJónathan Heras
Published in: CICM (2017)
Keyphrases
  • data mining
  • web mining
  • text mining
  • pattern mining
  • association mining
  • real time
  • e learning
  • knowledge discovery
  • association rule mining
  • social network analysis
  • data mining methods
  • mining algorithm