Zobrazuji výsledky 1 - 5 z 5 pro vyhledávání '"Deduction and theorem proving."', doba hledání: 0,02 s. Upřesnit hledání
  1. 1
  2. 2

    Learning to reason. Autor Khardon, Roni

    Vydáno v Journal of the ACM
    Článek
  3. 3
  4. 4

    Decomposable negation normal form. Autor Darwiche, A.

    Vydáno v Journal of the ACM
    Článek
  5. 5

    Plausibility measures and default reasoning. Autor Friedman, N.

    Vydáno v Journal of the ACM
    Článek

Vyhledávací nástroje: