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

    Learning to reason. od Khardon, Roni

    Članak
  3. 3
  4. 4

    Decomposable negation normal form. od Darwiche, A.

    Članak
  5. 5

Alati za pretragu: