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

V-сингулярні семантичні моделі першопорядкових логік


ID: 130379
Кількість показів: 93
дата змінення: 02.12.2014 01:34:09
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  10
Рік видання:  2014
Звітний рік:  2014
Видання:  Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
Том:  2
Номери сторінок:  201-210
Галузь науки:  Математика
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович / Шкільняк Оксана Степанівна
Кафедра / Відділ:  Інтелектуальних програмних систем / НДС Проблем програмування / Теорії та технології програмування
№ теми: 
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору