计算机工程与应用2005,Vol.41Issue(3):4-6,33,4.
泛蕴涵的若干性质
The Properties of Universal Implication
摘要
关键词
泛逻辑学 泛蕴涵 D-P条件 (T-T1)条件分类
信息技术与安全科学引用本文复制引用
马盈仓,何华灿,罗敏霞..泛蕴涵的若干性质[J].计算机工程与应用,2005,41(3):4-6,33,4.基金项目
国家自然科学基金(编号:60273087) (编号:60273087)
国家863高技术研究发展计划项目(编号:2002AA412020) (编号:2002AA412020)
北京市自然科学基金项目(编号:4032009) (编号:4032009)