Implementing Nominal Unification.

Christophe Calvès Maribel Fernández

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

genetic algorithm
neural network
theorem proving
database
data sets
decision making
image sequences
multi agent
feature space
information technology
higher order
theorem prover