论文降重
免费查重
品类扩充的逻辑
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
累积缺省逻辑的扩充
累积缺省逻辑
断言缺省逻辑
扩充
相容
支持
缺省逻辑的Roos扩充
Reiter扩充
Roos-扩充
半单调性
结论
再扩充模糊逻辑中归结方法的有效性
模糊逻辑
近似推理
归结方法
有效逻辑结果
用带时钟变量的线性时态逻辑扩充Object-Z
Object-Z
用带时钟变量的时态逻辑
实时系统
形式规格说明
形式验证
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2010(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
中国药店
主办单位：
中国整形美容协会
出版周期：
月刊
ISSN：
1009-5012
CN：
11-4476/R
开本：
16开
出版地：
北京安外邮局88信箱
邮发代号：
2-387
创刊时间：
2000
语种：
chi
出版文献量（篇）
11093
总下载数（次）
4
总被引数（次）
2151
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
中国药店2022
中国药店2021
中国药店2020
中国药店2019
中国药店2018
中国药店2017
中国药店2016
中国药店2015
中国药店2014
中国药店2013
中国药店2012
中国药店2011
中国药店2010
中国药店2009
中国药店2008
中国药店2007
中国药店2006
中国药店2005
中国药店2004
中国药店2003
中国药店2002
中国药店2001
中国药店2010年第9期
中国药店2010年第8期
中国药店2010年第7期
中国药店2010年第6期
中国药店2010年第5期
中国药店2010年第4期
中国药店2010年第3期
中国药店2010年第2期
中国药店2010年第12期
中国药店2010年第11期
中国药店2010年第10期
中国药店2010年第1期
