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

Спеціальні секвенційні числення чистих композиційно-номінативних логік першого порядку


ID: 130460
Кількість показів: 65
дата змінення: 02.12.2014 01:50:12
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  8
Рік видання:  2012
Звітний рік:  2012
Видання:  Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
Том:  12
Номери сторінок:  38-45
Галузь науки:  Математика
Автори,співробітники Університету:  Шкільняк Степан Степанович / Нікітченко Микола Степанович
Кафедра / Відділ:  Теорії та технології програмування
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет психологїі

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

Вгору