Deduction, Strategies, and Rewriting.

Steven Eker Narciso Martí-Oliet José Meseguer Alberto Verdejo

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

search strategies
artificial intelligence
special case
data mining
machine learning
decision making
data structure
artificial neural networks
inference rules
online auctions