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

Новые доказательства важных теорем бестипо- вого экзистенциального лямбда-исчисления


ID: 124932
Кількість показів: 48
дата змінення: 01.12.2014 21:35:43
Ким змінено (ім'я): (cyb8) Ксенія Протасова
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  11
Рік видання:  2014
Звітний рік:  2014
Том:  4
Номери сторінок:  53-63
Галузь науки:  Математика
Автори,співробітники Університету:  Лялецький Олександр Олександрович
Кафедра / Відділ:  Інформаційних систем / НДЛ Високопродуктивних систем обробки інформації
№ теми: 
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору