Sign in
Proof Mining with Dependent Types.
Ekaterina Komendantskaya
Jó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