Отображение 1 - 2 результаты of 2 для поиска '"Logic and constraint programming."', время запроса: 0.01сек. Отмена результатов
  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.

Инструменты поиска: