Αποτελέσματα αναζήτησης - "Deduction and theorem proving."

  • Εμφανίζονται 1 - 5 Αποτελέσματα από 5
Περιορισμός αποτελεσμάτων
  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
    Άρθρο


    Εξώφυλλο

Εργαλεία αναζήτησης: