基于改进的无穷值语义解释的中介谓词逻辑的λ-归结
- ISSN号:1671-9352
- 期刊名称:山东大学学报(理学版)
- 时间:0
- 页码:109-114
- 相关项目:知识处理领域中的模糊性知识及其不同否定的逻辑基础和集合基础以及应用研究
同期刊论文项目
同项目期刊论文
期刊信息
- 《山东大学学报:理学版》
- 北大核心期刊(2011版)
- 主管单位:中华人民共和国教育部
- 主办单位:山东大学
- 主编:刘建亚
- 地址:济南市经十路17923号
- 邮编:250061
- 邮箱:xblxb@sdu.edu.cn
- 电话:0531-88396917
- 国际标准刊号:ISSN:1671-9352
- 国内统一刊号:ISSN:37-1389/N
- 邮发代号:24-222
- 国内外数据库收录:
- 美国化学文摘(网络版),美国数学评论(网络版),波兰哥白尼索引,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),英国英国皇家化学学会文摘