论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 思维与智慧：上半月期刊 \
甘岑的自然演绎演算
推荐文章
χ-演算与π-演算的语义比较研究
并行理论
进程代数
互模拟
“尊重,传承自然之美;和谐,演绎休闲之趣”——广州市永和甘竹山公园景观设计
山地公园
传承
景观设计
永和甘竹山
自然逻辑与不自然逻辑刍议--以命题逻辑为例
自然逻辑
不自然逻辑
公理方法
自然演绎方法
Combinator演算族的π演算语义
π演算
Combinator演算族
SKI演算
语义
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1989(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
自然演绎
谓词演算
逻辑演算
假定公式
命题演算
基本图式
推导
形式化
公理化
数学方法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
思维与智慧：上半月
主办单位：
河北师范大学
出版周期：
月刊
ISSN：
1006-3587
CN：
CN 13-1196/B
开本：
出版地：
石家庄市红旗大街469号（师大西校区）
邮发代号：
创刊时间：
语种：
出版文献量（篇）
8601
总下载数（次）
1
总被引数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
思维与智慧：上半月2018
思维与智慧：上半月2017
思维与智慧：上半月2016
思维与智慧：上半月2015
思维与智慧：上半月2014
思维与智慧：上半月2013
思维与智慧：上半月2012
思维与智慧：上半月2011
思维与智慧：上半月2010
思维与智慧：上半月2009
思维与智慧：上半月2008
思维与智慧：上半月2000
思维与智慧：上半月1998
思维与智慧：上半月1993
思维与智慧：上半月1992
思维与智慧：上半月1991
思维与智慧：上半月1990
思维与智慧：上半月1989
思维与智慧：上半月1989年第6期
思维与智慧：上半月1989年第5期
思维与智慧：上半月1989年第4期
思维与智慧：上半月1989年第3期
思维与智慧：上半月1989年第2期
思维与智慧：上半月1989年第1期
