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

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


ID: 142997
Кількість показів: 70
дата змінення: 12.10.2015 10:38:07
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  9
Рік видання:  2014
Звітний рік:  2015
Видання:  Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
Том:  11
Номери сторінок:  182-190
Галузь науки:  Інформатика
Автори,співробітники Університету:  Шкільняк Оксана Степанівна / Шкільняк Степан Степанович / Нікітченко Микола Степанович
Кафедра / Відділ:  Інтелектуальних програмних систем / Теорії та технології програмування
№ теми: 
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору