Видання

Mathematical Foundations of Informatics (MFOI): Міжнародна конференція


ID: 168278
Кількість показів: 125
дата змінення: 08.11.2019 23:08:30
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Видано:  закордоном
Місце знаходження:  Chisinau, Moldova


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





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


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.187-202
2
Праці конференції
Towards Representation of Free Logic as Logic of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.180-189
3
Праці конференції
Properties of Nominative Programs Specified by Effective Definitional Schemes


Факультет інформаційних технологій
Програмних систем і технологій
2016
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.222-240
4
Наукова стаття
Properties of Nominative Programs Specified byEffective Definitional Schemes


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування

Нікітченко Микола Степанович
2016
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.222-240

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

Вгору