Наукова періодика України | Збірник наукових праць Харківського національного університету Повітряних Сил | ||
Львов М. С. Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр / М. С. Львов // Збірник наукових праць Харківського університету Повітряних сил. - 2009. - Вип. 3. - С. 127-137. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2009_3_31 Цитованість авторів публікації: Бібліографічний опис для цитування: Львов М. С. Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр / М. С. Львов // Збірник наукових праць Харківського університету Повітряних сил. - 2009. - Вип. 3. - С. 127-137. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2009_3_31. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |