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