Resultados de procura - "Deduction and theorem proving."

  • Mostrando 1 - 5 Resultados de 5
Limitar resultados
  1. 1

    Learning to reason. por Khardon, Roni

    Publicado en Journal of the ACM
    Artigo


    Imaxe de Portada
  2. 2

    Decomposable negation normal form. por Darwiche, A.

    Publicado en Journal of the ACM
    Artigo


    Imaxe de Portada
  3. 3

    Probabilistic temporal databases, I algebra. por Dekhtyar, Alex

    Artigo


    Imaxe de Portada
  4. 4

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

    Publicado en Journal of the ACM
    Artigo


    Imaxe de Portada
  5. 5

    Plausibility measures and default reasoning. por Friedman, N.

    Publicado en Journal of the ACM
    Artigo


    Imaxe de Portada

Ferramentas de procura: