定理机器证明

作品数：55被引量：64H指数：4
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：孙吉贵印鉴李莹朱兴军吴尽昭更多>>
相关机构：吉林大学中国科学院数学与系统科学研究院北京邮电大学华东师范大学更多>>
相关期刊：《系统科学与数学》《计算机技术与发展》《数学教学》《高等数学研究》更多>>
相关基金：国家自然科学基金吉林省青年科研基金中国博士后科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

期刊关系类型

  • 发文期刊
  • 被引期刊
  • 引证期刊
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
视图：
排序：
《科技导报》
查看相关作品
作品数：20484被引量：55513H指数：58
issn：1000-7857cn：11-1421/N
主办单位：中国科学技术协会
发文主题：中国科协 征文 科学共同体 亮点 声音
发文领域：文化科学 经济管理 天文地球 医药卫生 自然科学总论
《计算机技术与发展》
查看相关作品
作品数：12629被引量：42151H指数：48
曾用名：微机发展
issn：1673-629Xcn：61-1450/TP
主办单位：陕西省计算机学会
发文主题：数据挖掘 网络 神经网络 卷积神经网络 遗传算法
发文领域：自动化与计算机技术 电子电信 文化科学 经济管理 理学
《小型微型计算机系统》
查看相关作品
作品数：14524被引量：43121H指数：40
issn：1000-1220cn：21-1106/TP
主办单位：中国科学院沈阳计算技术研究所
发文主题：网络 微型计算机系统 计算机网络 计算机 神经网络
发文领域：自动化与计算机技术 电子电信 文化科学 理学 经济管理
《计算机研究与发展》
查看相关作品
作品数：10641被引量：71776H指数：88
issn：1000-1239cn：11-1777/TP
主办单位：中国科学院计算技术研究所;中国计算机学会
发文主题：征文通知 计算机 数据库 人工智能 无线传感器网络
发文领域：自动化与计算机技术 电子电信 文化科学 理学 经济管理
《软件学报》
查看相关作品
作品数：7958被引量：92722H指数：118
issn：1000-9825cn：11-2560/TP
主办单位：中国科学院软件研究所;中国计算机学会
发文主题：英文 数据库 征文通知 人工智能 神经网络
发文领域：自动化与计算机技术 电子电信 理学 文化科学 经济管理
《计算机学报》
查看相关作品
作品数：7050被引量：84020H指数：107
issn：0254-4164cn：11-1826/TP
主办单位：中国计算机学会;中国科学院计算技术研究所
发文主题：计算机 人工智能 神经网络 数据库 计算机网络
发文领域：自动化与计算机技术 电子电信 理学 经济管理 文化科学
《系统科学与数学》
查看相关作品
作品数：4383被引量：13859H指数：32
issn：1000-0577cn：11-2019/O1
主办单位：中国科学院数学与系统科学研究院
发文主题：征稿简则 稳定性 存在性 数学机械化 非线性
发文领域：理学 经济管理 自动化与计算机技术 自然科学总论 文化科学
《数学教学》
查看相关作品
作品数：6048被引量：4863H指数：19
issn：0488-7387cn：31-1024/G4
主办单位：华东师范大学
发文主题：数学教学 数学 数学问题 数学教育 高考
发文领域：文化科学 理学 历史地理 经济管理 自动化与计算机技术
《高等数学研究》
查看相关作品
作品数：5028被引量：7863H指数：27
曾用名：数学学习
issn：1008-1399cn：61-1315/O1
主办单位：西北工业大学;陕西省数学会
发文主题：高等数学 定积分 不等式 注记 积分
发文领域：理学 文化科学 历史地理 经济管理 自动化与计算机技术
《计算机工程与设计》
查看相关作品
作品数：21584被引量：76991H指数：51
issn：1000-7024cn：11-1775/TP
主办单位：中国航天科工集团二院706所
发文主题：遗传算法 神经网络 网络 数据挖掘 卷积神经网络
发文领域：自动化与计算机技术 电子电信 经济管理 文化科学 理学
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部