Termination for Hybrid Tableaus.

Thomas Bolander Patrick Blackburn

Published in: J. Log. Comput. (2007)

Keyphrases

neural network
real time
databases
data mining
machine learning
information retrieval
search engine
information systems
metadata
image sequences
multiscale
cooperative
probabilistic model