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