يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"Logic and constraint programming."', وقت الاستعلام: 0.02s تنقيح النتائج
  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.

أدوات البحث: