Bounded ACh unification.

Ajay Kumar Eeralla Christopher Lynch

Published in: Math. Struct. Comput. Sci. (2020)

Keyphrases

higher order
theorem proving
database
data sets
neural network
three dimensional
database systems
objective function
optimal solution
pattern recognition
relational databases