Unification Theories: Examples and Applications.

Florin F. Nichita

Published in: Axioms (2018)

Keyphrases

higher order
equational theories
decision making
neural network
social networks
multimedia
data structure
evolutionary algorithm
concept learning
theorem proving
defeasible logic
automated theorem proving