不动点语义

作品数：11被引量：23H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：汤庸蒋运承王驹周生明古天龙更多>>
相关机构：广西师范大学中山大学桂林电子科技大学陕西师范大学更多>>
相关期刊：《模式识别与人工智能》《计算机学报》《广东工业大学学报》《计算机研究与发展》更多>>
相关基金：国家自然科学基金广东省自然科学基金中国博士后科学基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

人物类型

  • 全部
  • 博士生导师
  • 硕士生导师
  • 硕士
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
王驹
查看相关作品
作品数：76被引量：203H指数：9
发文主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
发文领域：自动化与计算机技术 理学 经济管理 哲学宗教
蒋运承
查看相关作品
作品数：84被引量：468H指数：11
发文主题：描述逻辑 语义WEB 文本 多主体系统 语义
发文领域：自动化与计算机技术 文化科学 理学 语言文字
汤庸
查看相关作品
作品数：262被引量：1107H指数：14
发文主题：社交网络 时态 存储介质 时态数据库 描述逻辑
发文领域：自动化与计算机技术 文化科学 电子电信 经济管理 理学
周生明
查看相关作品
作品数：21被引量：91H指数：6
发文主题：描述逻辑 不动点语义 MSC 语义 多标记学习
发文领域：自动化与计算机技术 文化科学 理学 自然科学总论
古天龙
查看相关作品
作品数：261被引量：1310H指数：16
发文主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
发文领域：自动化与计算机技术 文化科学 理学 电子电信 经济管理
刘富春
查看相关作品
作品数：69被引量：141H指数：6
发文主题：离散事件系统 故障诊断 模糊离散事件系统 故障预测 分布式
发文领域：自动化与计算机技术 理学 农业科学 自然科学总论 哲学宗教
全立新
查看相关作品
作品数：21被引量：52H指数：4
发文主题：WEB服务 WEB服务合成 XML 异构数据集成 承接离岸服务外包
发文领域：自动化与计算机技术 文化科学 经济管理 哲学宗教
赵岭忠
查看相关作品
作品数：63被引量：119H指数：5
发文主题：并发系统 网络 CSP 多智能体 基于ASP
发文领域：自动化与计算机技术 文化科学 医药卫生 交通运输工程 理学
郭秀敏
查看相关作品
作品数：2被引量：4H指数：2
发文主题：命题 相似度 条件真度 真度理论 数理逻辑
发文领域：理学
张兴兴
查看相关作品
作品数：2被引量：2H指数：1
发文主题：计算树逻辑 不动点语义 互模拟
发文领域：自动化与计算机技术
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部