-Calculus.

Fenglei Liu Zhenhua Yu Yuanli Cai

Published in: CIS (1) (2005)

Keyphrases

computer algebra
automated deduction
decision making
learning environment
natural deduction
database
information systems
metadata
web services
multiscale
information technology
relational calculus
algebraic structure
provably correct
sequent calculus