Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm '"Logic and constraint programming."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 1

    Disjunctive datalog. Bằng Eiter, Thomas

    Bài viết

    Disjunctive datalog.
  2. 2

    On sufficient conditions for unsatisfiability of random formulas. Bằng Atserias, Albert

    Xuất bản năm Journal of the ACM
    Bài viết

    On sufficient conditions for unsatisfiability of random formulas.

Công cụ tìm kiếm: