Equational classes of relative Stone algebras.

T. Hecht Tibor Katrinák

Published in: Notre Dame J. Formal Log. (1972)

Keyphrases

theorem proving
databases
artificial intelligence
information systems
knowledge base
case study
similarity measure
bayesian networks
spatial reasoning