On conjectures in orthocomplemented lattices.

Enric Trillas Susana Cubillo Elena Castiñeira

Published in: Artif. Intell. (2000)

Keyphrases

classical logic
theorem prover
concept lattice
general purpose
inductive inference
information retrieval
artificial intelligence
image processing