咨询与建议

限定检索结果

文献类型

  • 3 册 图书

馆藏范围

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

日期分布

机构

  • 1 篇 university of le...
  • 1 篇 institute of mat...
  • 1 篇 the university o...
  • 1 篇 imperial college...

作者

  • 1 篇 jean-yves girard
  • 1 篇 paul taylor
  • 1 篇 gerhard brewka
  • 1 篇 yves lafont
  • 1 篇 ramsay a.m.

语言

  • 2 篇 英文
  • 1 篇 中文
检索条件"丛书名=Cambridge Tracts in Theoretical Computer Science, Volume 6"
3 条 记 录,以下是1-10 订阅
排序:
Nonmonotonic Reasoning: Logical Foundations of Commonsense
Nonmonotonic Reasoning: Logical Foundations of Commonsense
收藏 引用
丛书名: cambridge tracts in theoretical computer science, volume 12
1991年
作者: Gerhard Brewka
来源: 评论
Proofs and Types
收藏 引用
丛书名: cambridge tracts in theoretical computer science, volume 7
1989年
作者: Jean-Yves Girard Yves Lafont Paul Taylor
来源: 评论
Formal Methods in Artificial Intelligence
Formal Methods in Artificial Intelligence
收藏 引用
丛书名: cambridge tracts in theoretical computer science, volume 6
1988年
作者: Ramsay A.M.
来源: 评论