检索结果 - "Deduction and theorem proving."

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Learning to reason. 由 Khardon, Roni

    发表在 Journal of the ACM
    文件


    封面图片
  2. 2

    Decomposable negation normal form. 由 Darwiche, A.

    发表在 Journal of the ACM
    文件


    封面图片
  3. 3

    Probabilistic temporal databases, I algebra. 由 Dekhtyar, Alex

    文件


    封面图片
  4. 4

    Corrigendum Reasoning about knowledge and probability?. 由 Fagin, Ronald

    发表在 Journal of the ACM
    文件


    封面图片
  5. 5

    Plausibility measures and default reasoning. 由 Friedman, N.

    发表在 Journal of the ACM
    文件


    封面图片

检索工具: