Login / Signup
Completeness of Equational Definitions over Predefined Algebras.
Valentin M. Antimirov
Anatoli Degtyarev
Published in:
AMAST (1993)
Keyphrases
</>
equational theories
theorem proving
spatial reasoning
user defined
database
machine learning
data structure
clifford algebra
genetic algorithm
mobile robot
data quality
theorem prover