-Calculus - (Extended Abstract).

Steffen van Bakel Franco Barbanera Ugo de'Liguoro

Published in: TLCA (2011)

Keyphrases

extended abstract
automated deduction
algebraic structure
computer algebra
real time
probabilistic model
database
genetic algorithm
information systems
knowledge base
metadata
image processing
case study
three dimensional
natural deduction
provably correct