Axiomatizability of representable domain algebras.

Robin Hirsch Szabolcs Mikulás

Published in: J. Log. Algebraic Methods Program. (2011)

Keyphrases

domain specific
domain independent
computer vision
preprocessing
genetic algorithm
decision making
decision trees
data structure
topological spaces