-calculus.

Fabio Gadducci Alberto Lluch-Lafuente

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

Keyphrases

automated deduction
algebraic structure
information systems
proof procedure
three dimensional
expert systems
multiresolution
theorem proving
formal language