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

On Correctness of Mathematical Texts from a Logical and Practical Point of View


ID: 56824
Кількість показів: 54
дата змінення: 14.10.2014 09:56:56
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  16
Рік видання:  2008
Звітний рік:  2008
Видання:  Lecture Notes in Computer Science
Том:  5144
Номери сторінок:  583.0000
Автори,співробітники Університету:   / Лялецький Олександр Вадимович /  / Анісімов Анатолій Васильович
Кафедра / Відділ:  Теоретичної кібернетики
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору