基于命题逻辑的伤寒论方证论治系统构建  

作　　者：贾春华[1] 王永炎[2] 黄启福[1] 鲁兆麟[1] 

机构地区：[1]北京中医药大学基础医学院,北京100029 [2]中国中医科学院

出　　处：《北京中医药大学学报》2007年第6期369-373,共5页Journal of Beijing University of Traditional Chinese Medicine

基　　金：国家自然科学基金资助项目(No.30572298)

关 键 词：命题逻辑 伤寒论 方证论治系统 

分 类 号：R222.19[医药卫生—中医基础理论]