Видання

Computer Science Journal of Moldova


ID: 158135
Кількість показів: 155
дата змінення: 23.11.2015 17:02:32
Ким змінено (ім'я): (cyb9) Людмила Сільвейструк
Видано:  закордоном
Місце знаходження:  Moldova

Значення SNIP видання в Scopus
SNIP: |


Публікації у виданні





Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Computer Science Journal of Moldova
т.27 c.162-187
2
Наукова стаття
Implementation of the Composition-nominative Approach to Program Formalization in Mizar


Факультет комп'ютерних наук та кібернетики
Факультет інформаційних технологій

Програмних систем і технологій
Теорії та технології програмування
Іванов Євген В’ячеславович
Криволап Андрій Володимирович
Нікітченко Микола Степанович
Artur Korniłowicz
2018
Computer Science Journal of Moldova
c.59-76
3
Наукова стаття
Nominative data with ordered set of names


Факультет інформаційних технологій
Програмних систем і технологій
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2017
Computer Science Journal of Moldova
т.25 c.195-216
4
Наукова стаття
Many-Sorted First-Order Composition-Nominative Logic as Institution


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2016
Computer Science Journal of Moldova
т.24 c.27-54
5
Наукова стаття
Fundamental theorems of extensional untyped λ-calculus revisited


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2015
Computer Science Journal of Moldova
т.23 c.153-168
6
Наукова стаття
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Computer Science Journal of Moldova
т.23 c.102-122
7
Наукова стаття
Set-theoretic Analysis of Nominative Data


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування

Нікітченко Микола Степанович
2015
Computer Science Journal of Moldova
т.23 c.270-288

Повернення до списку

Вгору