Prikaz rezultata 1 – 5 od 5 za pretragu '"Deduction and Theorem Proving."', vrijeme upita: 0,02s Detaljiziraj rezultate
  1. 1

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

    Članak

    Corrigendum Reasoning about knowledge and probability?.
  2. 2

    Learning to reason. od Khardon, Roni

    Članak

    Learning to reason.
  3. 3

    Probabilistic temporal databases, I algebra. od Dekhtyar, Alex

    Članak

    Probabilistic temporal databases, I algebra.
  4. 4

    Decomposable negation normal form. od Darwiche, A.

    Članak

    Decomposable negation normal form.
  5. 5

    Plausibility measures and default reasoning. od Friedman, N.

    Članak

    Plausibility measures and default reasoning.

Alati za pretragu: