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

معنای محدود

Bounded semantics

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

مکاتبات الگوریتمی برای محاسبه مودال شهودی

Algorithmic correspondence for intuitionistic modal mu-calculus

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

مطالعه رسمی مدارهای کاربردی در حوزه های محدود

Formal study of functional orbits in finite domains

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

مشتق برای نقشه های لیپچیتس پیچیده با معادلات کلیدی کوشی-ریمان

A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations

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

تئوری های پیش فرض محدود: کارهای افسانه ای و وظایف تشخیص غلط

Restricted default theories: Expressive power and outlier detection tasks

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

منطق زمانی منطقی پارامتریک منطق

Parametric metric interval temporal logic

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

Editorial Board

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