形式化证明

作品数：37被引量：104H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：左正康沈昌祥李益发王昌晶郁文生更多>>
相关机构：江西师范大学北京邮电大学解放军信息工程大学中国科学技术大学更多>>
相关期刊：《江西师范大学学报（自然科学版）》《计算机系统应用》《现代电子技术》《中国科技论文在线精品论文》更多>>
相关基金：国家自然科学基金江西省自然科学基金中央高校基本科研业务费专项资金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

期刊关系类型

  • 发文期刊
  • 被引期刊
  • 引证期刊
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
视图：
排序：
《小型微型计算机系统》
查看相关作品
作品数：14524被引量：43234H指数：41
issn：1000-1220cn：21-1106/TP
主办单位：中国科学院沈阳计算技术研究所
发文主题：网络 微型计算机系统 计算机网络 计算机 神经网络
发文领域：自动化与计算机技术 电子电信 文化科学 理学 经济管理
《计算机工程与设计》
查看相关作品
作品数：21623被引量：77180H指数：51
issn：1000-7024cn：11-1775/TP
主办单位：中国航天科工集团二院706所
发文主题：遗传算法 神经网络 网络 数据挖掘 卷积神经网络
发文领域：自动化与计算机技术 电子电信 经济管理 文化科学 理学
《江西师范大学学报（自然科学版）》
查看相关作品
作品数：4101被引量：8729H指数：24
issn：1000-5862cn：36-1092/N
主办单位：江西师范大学
发文主题：亚纯函数 征稿简则 英文 鄱阳湖 整函数
发文领域：理学 自动化与计算机技术 经济管理 生物学 化学工程
《计算机工程与科学》
查看相关作品
作品数：10600被引量：34058H指数：41
issn：1007-130Xcn：43-1258/TP
主办单位：国防科技大学计算机学院
发文主题：计算机 征文通知 计算机网络 神经网络 网络
发文领域：自动化与计算机技术 电子电信 文化科学 理学 经济管理
《网络安全技术与应用》
查看相关作品
作品数：17432被引量：32995H指数：32
issn：1009-6833cn：11-4522/TP
主办单位：北京大学出版社
发文主题：网络安全 信息安全 计算机网络 大数据 计算机
发文领域：自动化与计算机技术 电子电信 文化科学 政治法律 经济管理
《计算机应用研究》
查看相关作品
作品数：26093被引量：109037H指数：72
issn：1001-3695cn：51-1196/TP
主办单位：四川省计算机研究院
发文主题：网络 无线传感器网络 遗传算法 数据库 自适应
发文领域：自动化与计算机技术 电子电信 经济管理 交通运输工程 文化科学
《计算机科学》
查看相关作品
作品数：23646被引量：90623H指数：72
曾用名：计算机应用与应用数学
issn：1002-137Xcn：50-1075/TP
主办单位：重庆西南信息有限公司（原科学技术部西南信息中心）
发文主题：网络 人工智能 神经网络 数据挖掘 数据库
发文领域：自动化与计算机技术 电子电信 理学 文化科学 经济管理
《牡丹江大学学报》
查看相关作品
作品数：10327被引量：11291H指数：17
issn：1008-8717cn：23-1450/G4
主办单位：牡丹江大学
发文主题：翻译 文化 大学生 教学 高校
发文领域：语言文字 文化科学 文学 政治法律 经济管理
《自然辩证法研究》
查看相关作品
作品数：9617被引量：33717H指数：48
issn：1000-8934cn：11-1649/B
主办单位：中国自然辩证法研究会
发文主题：自然辩证法 中国自然辩证法研究会 科学哲学 哲学 自然科学
发文领域：自然科学总论 哲学宗教 文化科学 经济管理 理学
《计算机系统应用》
查看相关作品
作品数：13845被引量：35534H指数：38
issn：1003-3254cn：11-2854/TP
主办单位：中国科学院软件研究所
发文主题：数据库 网络 计算机 卷积神经网络 程序设计
发文领域：自动化与计算机技术 电子电信 经济管理 电气工程 交通运输工程
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部