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