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

Першопорядкові логіки, розширені реномінаціями з невизначеним значенням змінних та предикатами-індикаторами наявності значення


ID: 127982
Кількість показів: 74
дата змінення: 02.12.2014 01:36:10
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Тези
Кількість сторінок:  2
Рік видання:  2013
Звітний рік:  2014
Видання:  XXII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2013), Ялта-Форос, 23-27 вересня 2013 р.
Том:  1
Номери сторінок:  116–117
Галузь науки:  Математика
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович / Шкільняк Оксана Степанівна
Кафедра / Відділ:  Інтелектуальних програмних систем / Теорії та технології програмування
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору