Наукові публікації університету

Чисті першопорядкові логіки квазіарних предикатів з композицією предикатного доповнення


ID: 236899
Кількість показів: 42
дата змінення: 24.11.2019 23:13:02
Ким змінено (ім'я): (cyb1) Олена Веклич
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  3
Рік видання:  2019
Звітний рік:  2019
Видання:  Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
Випуск, частина:  19
Номери сторінок:  371-373
Галузь науки:  Інформатика
Автори,співробітники Університету:  Шкільняк Степан Степанович / Шкільняк Оксана Степанівна / Нікітченко Микола Степанович
Кафедра / Відділ:  Інтелектуальних програмних систем / Теорії та технології програмування
№ теми:  16КФ015-01 / 16КФ015-02 / 19БФ015-04
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору