Constrained Equational Reasoning.

Claude Kirchner Hélène Kirchner

Published in: ISSAC (1989)

Keyphrases

artificial intelligence
cost function
neural network
machine learning
search engine
e learning
database systems
object recognition
evolutionary algorithm
probabilistic model