Residuated Lattices.

Victor B. F. Gomes Georg Struth

Published in: Arch. Formal Proofs (2015)

Keyphrases

concept lattice
data sets
information retrieval
computer vision
cooperative
domain knowledge