×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
×
欢迎访问陕西师范大学学报(自然科学版)官方网站!
今天是
Rss服务
Email Alert
Toggle navigation
首页
期刊介绍
编委会
投稿指南
期刊浏览
最新录用
当期目录
过刊浏览
阅读排行
下载排行
引用排行
E-mail Alert
RSS
期刊订阅
联系我们
English
系统Ha中广义语义MP规则与广义语义HS规则
关晓红,折延宏,王国俊
Generalized semantic MP rules and generalized semantic HS rules of the system Ha
GUAN Xiao-hong, SHE Yan-hong, WANG Guo-jun
陕西师范大学学报(自然科学版) . 2007, (
1
): 9 -12 .