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

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition


ID: 236904
Кількість показів: 56
дата змінення: 26.11.2019 21:21:58
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  26
Рік видання:  2019
Звітний рік:  2019
Видання:  Computer Science Journal of Moldova
Том:  27
Випуск, частина:  2(80)
Номери сторінок:  162-187
Галузь науки:  Інформатика
Автори,співробітники Університету:  Шкільняк Степан Степанович / Шкільняк Оксана Степанівна / Нікітченко Микола Степанович
Автори,студенти та аспіранти Університету:  Мамедов Тогрул Алірзайович
Кафедра / Відділ:  Інтелектуальних програмних систем / Теорії та технології програмування
№ теми:  16КФ015-01 / 16КФ015-02 / 19БФ015-04
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору