Prikaz rezultata 1 – 2 od 2 za pretragu '"Logic and constraint programming."', vrijeme upita: 0,02s Detaljiziraj rezultate
  1. 1

    Disjunctive datalog. od Eiter, Thomas

    Članak

    Disjunctive datalog.
  2. 2

    On sufficient conditions for unsatisfiability of random formulas. od Atserias, Albert

    Članak

    On sufficient conditions for unsatisfiability of random formulas.

Alati za pretragu: