论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 浙江师范大学学报(自然科学版)期刊 \
关于一阶逻辑范式定理的几个等值式的一个注记
关于一阶逻辑范式定理的几个等值式的一个注记
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
向前向后法证明一阶逻辑的几个定理
模型论
一阶逻辑
向前向后方法
内插定理
保持定理
关于刘维尔定理的一个注记
刘维尔定理
调和函数
哈纳克不等式
关于广义Borel强大数定理的一个注记
广义Borel大数定理
Borel-Caatelli引理
强大数定理
关于庞加莱分离定理的一个注记
Hermite阵
酉阵
庞加莱分离定理
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 关于一阶逻辑范式定理的几个等值式的一个注记 | ||
| 来源期刊 | 浙江师大学报(自然科学版) | 学科 | |
| 关键词 | |||
| 年，卷（期） | 1999,（3） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 16 | |
| 页数 | 1页 | 分类号 | |
| 字数 | 789字 | 语种 | 中文 |
| DOI | 10.3969/j.issn.1001-5051.1999.03.004 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1999(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
浙江师范大学学报(自然科学版)
主办单位：
浙江师范大学
出版周期：
季刊
ISSN：
1001-5051
CN：
33-1291/N
开本：
大16开
出版地：
浙江金华浙江师范大学33信箱
邮发代号：
创刊时间：
1960
语种：
chi
出版文献量（篇）
2287
总下载数（次）
2
总被引数（次）
10075
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
浙江师范大学学报(自然科学版)2022
浙江师范大学学报(自然科学版)2021
浙江师范大学学报(自然科学版)2020
浙江师范大学学报(自然科学版)2019
浙江师范大学学报(自然科学版)2018
浙江师范大学学报(自然科学版)2017
浙江师范大学学报(自然科学版)2016
浙江师范大学学报(自然科学版)2015
浙江师范大学学报(自然科学版)2014
浙江师范大学学报(自然科学版)2013
浙江师范大学学报(自然科学版)2012
浙江师范大学学报(自然科学版)2011
浙江师范大学学报(自然科学版)2010
浙江师范大学学报(自然科学版)2009
浙江师范大学学报(自然科学版)2008
浙江师范大学学报(自然科学版)2007
浙江师范大学学报(自然科学版)2006
浙江师范大学学报(自然科学版)2005
浙江师范大学学报(自然科学版)2004
浙江师范大学学报(自然科学版)2003
浙江师范大学学报(自然科学版)2002
浙江师范大学学报(自然科学版)2001
浙江师范大学学报(自然科学版)2000
浙江师范大学学报(自然科学版)1999
