Continuing Variations on a System of Gentzen.

Published in: Math. Log. Q. (1985)

Keyphrases

databases
information retrieval
decision trees
relational databases
database
machine learning
reinforcement learning
viewpoint
multiresolution
model checking