Λ演算

作品数：10被引量：21H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：江南何炎祥李清安宋国新丁志义更多>>
相关机构：南京大学上海交通大学武汉大学湖北工业大学更多>>
相关期刊：《福州大学学报（自然科学版）》《小型微型计算机系统》《程序员》《语数外学习（高中版）（下）》更多>>
相关基金：国家自然科学基金博士科研启动基金国家教育部博士点基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

基金类型

  • 全部
  • 基金项目
  • 基金课题
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
国家自然科学基金
查看相关作品
作品数：3164197被引量：8349380H指数：432
相关主题：数值模拟 英文 影响因素 稳定性 神经网络
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
国家自然科学基金(91118003)
查看相关作品
作品数：32被引量：117H指数：6
相关主题：低功耗 物联网 定理证明 可扩展 总线编码
相关领域：自动化与计算机技术 农业科学 轻工技术与工程
国家杰出青年科学基金
查看相关作品
作品数：32544被引量：308332H指数：139
相关主题：数值模拟 稳定性 力学性能 有限元 影响因素
相关领域：医药卫生 自动化与计算机技术 理学 天文地球 建筑科学
国家自然科学基金(90818018)
查看相关作品
作品数：4被引量：23H指数：3
相关主题：Λ演算 机械化 类型化 消解 定理证明
相关领域：自动化与计算机技术
博士科研启动基金
查看相关作品
作品数：77609被引量：345763H指数：89
相关主题：数值模拟 影响因素 教学改革 性能研究 力学性能
相关领域：医药卫生 农业科学 理学 经济管理 文化科学
国家自然科学基金(61170022)
查看相关作品
作品数：22被引量：141H指数：5
相关主题：低功耗 定理证明 线程调度 线程 通用图形处理器
相关领域：自动化与计算机技术 电气工程
国家自然科学基金(60373075)
查看相关作品
作品数：27被引量：41H指数：4
相关主题：重写 PETRI网 WEB_SERVER 指称语义 形式化
相关领域：自动化与计算机技术 理学 语言文字
国家自然科学基金(61373039)
查看相关作品
作品数：8被引量：58H指数：4
相关主题：定理证明 线程调度 线程 通用图形处理器 GPGPU
相关领域：自动化与计算机技术
国家自然科学基金(91018009)
查看相关作品
作品数：2被引量：13H指数：1
相关主题：Λ演算 机械化 类型化 消解 定理证明
相关领域：自动化与计算机技术
国家高技术研究发展计划
查看相关作品
作品数：254143被引量：1396218H指数：194
相关主题：数值模拟 水稻 仿真 遗传算法 机器人
相关领域：自动化与计算机技术 农业科学 电子电信 医药卫生 理学
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部