Наведено класифікацію деяких конфліктів в аеронавігаційній інформації, яка використовується в маршрутних картах. За допомогою засобів логіки розташування об'єктів конфлікти подано в формальному вигляді. Наведено приклади програмної реалізації функцій перевірки на цілісність та несуперечливість. Функції перевірки застосовуються в системі ведення аеронавігаційних баз даних.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"