Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"Logic and constraint programming."', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1

    Disjunctive datalog. ανά Eiter, Thomas

    Τόπος έκδοσης ACM transactions on database systems.
    Άρθρο

    Disjunctive datalog.
  2. 2

    On sufficient conditions for unsatisfiability of random formulas. ανά Atserias, Albert

    Τόπος έκδοσης Journal of the ACM
    Άρθρο

    On sufficient conditions for unsatisfiability of random formulas.

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