咨询与建议

限定检索结果

文献类型

  • 6 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学

主题

  • 3 篇 mathematical mod...
  • 3 篇 logic in ai
  • 3 篇 mathematical log...
  • 3 篇 mathematics of c...
  • 2 篇 mathematical log...
  • 1 篇 big data
  • 1 篇 machine theory.
  • 1 篇 mathematical log...
  • 1 篇 big data.
  • 1 篇 logic programmin...

机构

  • 3 篇 institute of com...
  • 2 篇 state key labora...
  • 1 篇 beihang universi...

作者

  • 5 篇 wei li
  • 5 篇 yuefei sui
  • 1 篇 wei
  • 1 篇 li
  • 1 篇 author.

语言

  • 5 篇 英文
  • 1 篇 中文
检索条件"丛书名=Perspectives in Formal Induction, Revision and Evolution"
6 条 记 录,以下是1-10 订阅
排序: