Quantifiers and n-ary binders: an OpenMath standard enhancement proposal.

Lars Hellström

Published in: CICM Workshops (2013)

Keyphrases

image processing
image enhancement
e learning
information retrieval
case study
training data
computational complexity
expert systems
multiresolution
probability distribution