On Some Multiple Decision Procedures for Normal Variances.

Ching-Ching Lin Deng-Yuan Huang

Published in: Commun. Stat. Simul. Comput. (2007)

Keyphrases

decision procedures
modal logic
theorem proving
machine learning
database
data warehouse
reasoning problems