دانلود مقالات ISI درباره منطق در علوم رایانه + ترجمه فارسی
Logic In Computer Science
منطق در علوم رایانه
در این صفحه تعداد 10 مقاله تخصصی درباره منطق در علوم رایانه که در نشریه های معتبر علمی و پایگاه ساینس دایرکت (Science Direct) منتشر شده، نمایش داده شده است. برخی از این مقالات، پیش تر به زبان فارسی ترجمه شده اند که با مراجعه به هر یک از آنها، می توانید متن کامل مقاله انگلیسی همراه با ترجمه فارسی آن را دریافت فرمایید. در صورتی که مقاله مورد نظر شما هنوز به فارسی ترجمه نشده باشد، مترجمان با تجربه ما آمادگی دارند آن را در اسرع وقت برای شما ترجمه نمایند.
مقالات ISI منطق در علوم رایانه (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند. در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق در علوم رایانه; Logic in computer science; Graph theory: paths and cycles; Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.); Descriptive complexity and finite models; Specification and verification (program logics, mode
Keywords: منطق در علوم رایانه; 08A70; 03B70; 68Q85; 93E03Applications of universal algebra in computer science; Logic in computer science; Models and methods for concurrent and distributed computing; Stochastic systems, general