Equational Elements in Additive Algebras.

Symeon Bozapalidis

Published in: Theory Comput. Syst. (1999)

Keyphrases

theorem proving
information retrieval
equational theories
real world
theorem prover
spatial reasoning
data sets
machine learning
artificial intelligence
information systems
website
face recognition
multiresolution