论文降重
免费查重
数学形式化及其存在问题
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
形式化方法介绍及其在工程中的应用
形式化方法
形式规范
形式验证
软件工程
硬件设计
形式化方法Designware及其规约精化机理
形式化方法Designware
规约精化
算法设计
高可信
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
工作流组织资源建模及其形式化配置方法
统一建模语言
多色集合理论
组织资源建模
形式化配置
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (15)
同被引文献 (4)
二级引证文献 (1)
2006(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2007(1)
- 引证文献（1）
- 二级引证文献（0）
2008(1)
- 引证文献（1）
- 二级引证文献（0）
2009(1)
- 引证文献（1）
- 二级引证文献（0）
2010(1)
- 引证文献（1）
- 二级引证文献（0）
2011(3)
- 引证文献（3）
- 二级引证文献（0）
2012(2)
- 引证文献（2）
- 二级引证文献（0）
2013(1)
- 引证文献（1）
- 二级引证文献（0）
2014(3)
- 引证文献（3）
- 二级引证文献（0）
2015(2)
- 引证文献（2）
- 二级引证文献（0）
2019(1)
- 引证文献（0）
- 二级引证文献（1）
引文网络交叉学科
相关学者/机构
期刊影响力
数学通报
主办单位：
中国数学会
北京师范大学
出版周期：
月刊
ISSN：
0583-1458
CN：
11-2254/O1
开本：
大16开
出版地：
北京市师范大学
邮发代号：
2-501
创刊时间：
1936
语种：
chi
出版文献量（篇）
4979
总下载数（次）
6
总被引数（次）
20767
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
数学通报2022
数学通报2021
数学通报2020
数学通报2019
数学通报2018
数学通报2017
数学通报2016
数学通报2015
数学通报2014
数学通报2013
数学通报2012
数学通报2011
数学通报2010
数学通报2009
数学通报2008
数学通报2007
数学通报2006
数学通报2005
数学通报2004
数学通报2003
数学通报2002
数学通报2001
数学通报2006年第9期
数学通报2006年第8期
数学通报2006年第7期
数学通报2006年第6期
数学通报2006年第5期
数学通报2006年第4期
数学通报2006年第3期
数学通报2006年第2期
数学通报2006年第12期
数学通报2006年第11期
数学通报2006年第10期
数学通报2006年第1期
