of explicit mathematics: the limit and Mahlo axioms.

Gerhard Jäger Thomas Studer

Published in: Ann. Pure Appl. Log. (2002)

Keyphrases

knowledge base
multiresolution
databases
explicitly represented
information technology
cooperative
axiomatic characterization
mathematical knowledge
computer algebra
first order logic
multi agent systems
database
multiscale
decision trees
machine learning
data sets
real time