A Semi-reflexive Tactic for (Sub-)Equational Reasoning.

Claudio Sacerdoti Coen

Published in: TYPES (2004)

Keyphrases

decision trees
data sets
banach space
database
neural network
computer vision
similarity measure
training data
expert systems
fuzzy logic