-calculus.

Paola Quaglia David Walker

Published in: Inf. Comput. (2005)

Keyphrases

database
automated theorem proving
real time
information retrieval
relational calculus
computer algebra
image processing
bayesian networks
expert systems
probabilistic model
expressive power
formal language
qualitative spatial reasoning
proof procedure
natural deduction