Login / Signup
Pragmatic Quotient Types in Coq.
Cyril Cohen
Published in:
ITP (2013)
Keyphrases
</>
rough sets
database
data sets
neural network
data mining
learning algorithm
knowledge base