Complete Axiomatizations of Some Quotient Term Algebras.

Published in: Theor. Comput. Sci. (1993)

Keyphrases

spatial reasoning
database
data sets
machine learning
temporal reasoning
machine intelligence
information retrieval
language model
decision procedures
topological spaces