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

Побудова темпоральних логік на основі композиційно-номінативного підходу.


ID: 71615
Кількість показів: 60
дата змінення: 14.10.2014 10:15:07
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  1
Рік видання:  2010
Звітний рік:  2010
Номери сторінок:  109.0000
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович
Кафедра / Відділ:  Теорії та технології програмування
Ключові слова:  4. Нікітченко М.С, Шкільняк О.С. Побудова темпоральних логік на основі композиційно-номінативного підходу. XVI International conference "Problems of decision making under uncertainties". Abstracts. – Yalta, Ukraine, 2010.– С. 109.
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору