Equational and implicational classes of coalgebras.

Published in: Theor. Comput. Sci. (2001)

Keyphrases

class labels
theorem proving
neural network
real world
artificial intelligence
feature selection
decision trees
training data
hidden markov models