Login / Signup
Unification in Finite Algebras is Unitary (?).
Wolfram Büttner
Published in:
CADE (1988)
Keyphrases
</>
equational theories
function symbols
higher order
theorem proving
real world
artificial intelligence
spatial reasoning
finite automata
neural network
machine learning
genetic algorithm
knowledge base
logic programming
theorem prover
unit length