-calculus.

Harald Fecher Sharon Shoham

Published in: Int. J. Softw. Tools Technol. Transf. (2011)

Keyphrases

multiresolution
computer algebra
knowledge base
automated deduction
provably correct
sequent calculus
data sets
information retrieval
case study
three dimensional
multi agent
knowledge representation