Unification and Logarithmic Space.

Clément Aubert Marc Bagnol

Published in: RTA-TLCA (2014)

Keyphrases

genetic algorithm
neural network
low dimensional
higher dimensional
linear space
artificial intelligence
computational complexity
artificial neural networks
search space
higher order
theorem proving
databases
learning algorithm
special case