دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

خوشبختی از پیامدها، بعنوان مثال فرمولهای خالص شاخ: عمدتا یک نظرسنجی است

The joy of implications, aka pure Horn formulas: Mainly a survey

29 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

هیپرگراف های هدایت شده: مقدمه و الگوریتم های اساسی - یک نظرسنجی

Directed hypergraphs: Introduction and fundamental algorithms-A survey

27 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

خلاقیت و رضایت از نمایندگی اپراتور بسته

Succinctness and tractability of closure operator representations

19 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

تعریف دقیق فرمولهای شاخ از نمایشهای بسته

Learning definite Horn formulas from closure queries

11 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

هیدرز: پیچیدگی در نمودار کلی و یک زیر رده از درختان

Hydras: Complexity on general graphs and a subclass of trees

18 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

هیدراس: هیپرگراس های مستقیم و فرمول های شاخ

Hydras: Directed hypergraphs and Horn formulas

12 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

Editorial Board

7 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

Discovery of the D-basis in binary tables based on hypergraph dualization

9 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

Dualization in lattices given by ordered sets of irreducibles

11 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

RQL: A Query Language for Rule Discovery in Databases

30 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics

16 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

Algorithms for k-meet-semidistributive lattices

8 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه