-calculus.

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

computer algebra
databases
algebraic structure
automated deduction
digital libraries
sequent calculus
database
natural deduction
automated theorem proving
knowledge representation
probabilistic model
query language
video sequences
website
image processing
artificial intelligence
neural network