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

Reasoning inside a formula and ontological correctness of a formal mathematical text


ID: 48870
Кількість показів: 52
дата змінення: 14.10.2014 09:47:20
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  15
Рік видання:  2007
Звітний рік:  2007
Видання:  Calculemus\MKM 2007-Work in progress. Hagenberg, Austria
Номери сторінок:  77.0000
Автори,співробітники Університету:   /  / Лялецький Олександр Вадимович / Анісімов Анатолій Васильович
Кафедра / Відділ:  Теоретичної кібернетики
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору