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

خطی سازی به خوبی شبه سفارشات و محدود کردن طول توالی بد

Linearizing well quasi-orders and bounding the length of bad sequences

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

قالب سازی ماشین آلات تورینگ چند نوار

A formalization of multi-tape Turing machines

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

پیچیدگی منطق مدال پالایش یک عامل

The complexity of one-agent refinement modal logic

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

معانی دوگانگی، ترکیبات عمومی و تابلوهای تحلیلی مثل کلاسیک برای منطق با ارزش محدود

Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics

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

مرزها برای استدلال گزاره ای در مورد قطعات استقلال مشروط احتمالی و تجزیه پایگاه داده سلسله مراتبی

Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions

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

منطق توجیه های قابل قبول

A logic of plausible justifications

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

Editorial Board

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

Uniform proofs of standard completeness for extensions of first-order MTL

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