Шкільняк О. С. Побудова секвенційних числень мультимодальних композиційно-номінативних логік / О. С. Шкільняк // Пробл. програмув.. - 2013. - № 1. - С. 3-13. - Бібліогр.: 9 назв. - укp.
Досліджено першопорядкові композиційно-номінативні мультимодальні логіки кванторно-екваційного рівня. Для цих логік побудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти.
Шифр НБУВ: Ж16833Пошук видання у каталогах НБУВ Повний текст Наукова періодика УкраїниДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"