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

بلوک متقارن

Symmetric blocking

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

روش حل محاسبات چندجمله ای و توانایی های آن

The method of polynomial ring calculus and its potentialities

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

برنامه نویسی محدودیت همزمان یکپارچه

Subexponential concurrent constraint programming

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

Editorial Board

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

Proof nets and the call-by-value λ-calculus

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

Mechanizing type environments in weak HOAS

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

An informational view of classical logic

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