Unions and the axiom of choice.

Omar De la Cruz Eric J. Hall Paul E. Howard Kyriakos Keremedis Jean E. Rubin

Published in: Math. Log. Q. (2008)

Keyphrases

modal logic
optimal solution
inference rules
data mining
computer vision
knowledge base
image processing
similarity measure
video sequences
pattern recognition
natural language
image analysis
software engineering
temporal logic