Initial Experiments on Deriving a Complete HOL Simplification Set.

Cezary Kaliszyk Thomas Sternagel

Published in: PxTP@CADE (2013)

Keyphrases

small number
social networks
multiresolution
probability distribution
rough sets
real time
neural network
information systems
expert systems
special case
feature set
user defined
convex hull