Résultats de la recherche - "Deduction and theorem proving."

  • Résultat(s) 1 - 5 résultats de 5
Affiner les résultats
  1. 1

    Learning to reason. par Khardon, Roni

    Publié dans Journal of the ACM
    Article


    Image de couverture de livre
  2. 2

    Decomposable negation normal form. par Darwiche, A.

    Publié dans Journal of the ACM
    Article


    Image de couverture de livre
  3. 3

    Probabilistic temporal databases, I algebra. par Dekhtyar, Alex

    Article


    Image de couverture de livre
  4. 4

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

    Publié dans Journal of the ACM
    Article


    Image de couverture de livre
  5. 5

    Plausibility measures and default reasoning. par Friedman, N.

    Publié dans Journal of the ACM
    Article


    Image de couverture de livre

Outils de recherche: