Stability and General Logics.

Tapani Hyttinen

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

Keyphrases

special case
digital libraries
inference rules
databases
real world
data mining
case study
higher order
expressive power