搜索到 篇“ 代数规范说明 “的相关文章

相关作者

郭青
作品数：6被引量：3H指数：1
供职机构：青岛大学
研究主题：代数规范说明 软件工程 艺术发展 西洋管弦乐队 中提琴
陈意云
作品数：133被引量：643H指数：16
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
吕文进
作品数：5被引量：0H指数：0
供职机构：贵州大学计算机科学与信息学院计算机科学系
研究主题：不确定性 逻辑程序 抽象数据类型 程序设计语言 矩阵方法
栾尚敏
作品数：28被引量：65H指数：5
供职机构：华北科技学院计算机系
研究主题：信念修正 人工智能 故障诊断 信念 知识库更新
马绍汉
作品数：102被引量：224H指数：9
供职机构：山东大学计算机科学与技术学院
研究主题：人工智能 基因组 计算机网络 数据结构 神经网络