Formalisation de la SLD-résolution dans le calcul des constructions inductives.

Published in: JFPLC (1997)

Keyphrases

neural network
learning algorithm
three dimensional
exact solution
database
machine learning
decision making
objective function
support vector
digital libraries
least squares
closed form
solution space