Login / Signup
Deriving class instances for datatypes.
Christian Sternagel
René Thiemann
Published in:
Arch. Formal Proofs (2015)
Keyphrases
</>
data types
randomly generated
data model
neural network
multi class classification
multiple classes
database
data mining
learning algorithm
data structure
database management systems
single class
instance space
single instance