论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 智能系统学报期刊 \
S 型超协调逻辑中的一项重大研究突破-评张金成《逻辑及数学演算中的不动项与不可判定命题》
S 型超协调逻辑中的一项重大研究突破-评张金成《逻辑及数学演算中的不动项与不可判定命题》
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
自然逻辑与不自然逻辑刍议--以命题逻辑为例
自然逻辑
不自然逻辑
公理方法
自然演绎方法
命题逻辑中代数学的影子
命题逻辑
代数学
数理逻辑
二义性
三值Luk命题逻辑系统中逻辑理论的拓扑刻画
真度
相似度
伪距离
逻辑度量空间
相容性
闭逻辑理论,闭集
过程间并发程序分析不可判定的一个新证明方法
过程间并发程序分析
上下文敏感
同步敏感
不可判定问题
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (1)
同被引文献 (3)
二级引证文献 (1)
2014(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2019(2)
- 引证文献（1）
- 二级引证文献（1）
引文网络交叉学科
相关学者/机构
期刊影响力
智能系统学报
主办单位：
中国人工智能学会
哈尔滨工程大学
出版周期：
双月刊
ISSN：
1673-4785
CN：
23-1538/TP
开本：
大16开
出版地：
哈尔滨市南岗区南通大街145-1号楼
邮发代号：
创刊时间：
2006
语种：
chi
出版文献量（篇）
2770
总下载数（次）
11
总被引数（次）
12401
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
智能系统学报2022
智能系统学报2021
智能系统学报2020
智能系统学报2019
智能系统学报2018
智能系统学报2017
智能系统学报2016
智能系统学报2015
智能系统学报2014
智能系统学报2013
智能系统学报2012
智能系统学报2011
智能系统学报2010
智能系统学报2009
智能系统学报2008
智能系统学报2007
智能系统学报2006
智能系统学报2005
智能系统学报2004
智能系统学报2003
智能系统学报2002
智能系统学报2001
智能系统学报2000
