• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"机构=吉林大学符号计算与知识工程实验室"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
抽象算子逻辑及其自然演绎系统
收藏
分享
引用
《东北师大学报（自然科学版）》2004年 第4期36卷 38-44页
作者：程晓春 钟绍春 欧阳丹彤 李春生 陈庆锋 张成奇东北师范大学软件学院吉林长春130024 吉林大学符号计算与知识工程实验室吉林长春130023 悉尼科技大学信息技术学院 
　研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础.
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部