您的位置： 专家智库 > >

林淑琼

作品数：1 被引量：0H指数：0
供职机构：汕头大学更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇国内会议论文

领域

  • 1篇自动化与计算...
  • 1篇理学

机构

  • 1篇汕头大学

作者

  • 1篇李尚奋
  • 1篇林淑琼

传媒

  • 1篇第七届联合国...

年份

  • 1篇2000
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
限定缺省证明与限定扩充计算
该文介绍了缺省逻辑的变形之一－－限定缺省逻辑，并在此基础上深入讨论了限定缺省证明和限定扩充的计算。
李尚奋林淑琼
文献传递
全选 清除 导出
共1页<1>
聚类工具0