Ada tasking on the sequent balance.

Published in: C³P (1988)

Keyphrases

inference rules
database
data mining
feature space
mobile devices
data model
management system
first order logic
modal logic
dynamically adjust
sequent calculus