咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 natural deductio...
  • 1 篇 rough sets
  • 1 篇 the second recur...
  • 1 篇 abstract approxi...
  • 1 篇 negation in logi...

机构

  • 1 篇 univ toronto dep...

作者

  • 1 篇 kanda a
  • 1 篇 apostoli p

语言

  • 1 篇 英文
检索条件"主题词=abstract approximation spaces and modal logic"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Upper and lower recursion schemes in abstract approximation spaces  9th
收藏
分享
引用
9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC 2003)
作者： Apostoli, P Kanda, A Univ Toronto Dept Philosophy Toronto ON Canada
An approximation space (U, R) placed in a type-lowering retraction with 2(UxU) provides a model for a first order calculus of relations for computing over lists and reasoning about the resulting programs. Upper and lo... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件