Наукова періодика України | Гілея: науковий вісник | ||
Петік Я. О. Числення логіки дії з процедурною семантикою на основі BDI–логік / Я. О. Петік // Гілея: науковий вісник. - 2018. - Вип. 136. - С. 206-209. - Режим доступу: http://nbuv.gov.ua/UJRN/gileya_2018_136_51 Цитованість авторів публікації: Бібліографічний опис для цитування: Петік Я. О. Числення логіки дії з процедурною семантикою на основі BDI–логік / Я. О. Петік // Гілея: науковий вісник. - 2018. - Вип. 136. - С. 206-209. - Режим доступу: http://nbuv.gov.ua/UJRN/gileya_2018_136_51. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |