On the axiom of union.

Published in: Arch. Math. Log. (2010)

Keyphrases

inference rules
modal logic
feature selection
high quality
objective function
multi agent
wireless sensor networks