+ exp Proofs into Weaker Systems.

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

Keyphrases

data sets
decision trees
computer systems
learning systems
complex systems
e learning
relational databases
user interface
intelligent systems
systems require