Nominal Unification Revisited

Christian Urban

Published in: UNIF (2010)

Keyphrases

higher order
theorem proving
database
artificial neural networks
real world
training data
keywords
preprocessing
management system
least squares
first order logic
theorem prover
equational theories