Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
логіка, логика
логика программная
Документи:
Шилов, Н. В.
Метод схем программ для пропозициональных программных логик за 30 лет [Текст] / Н. В. Шилов, С. О. Шилова, А. Ю. Бернштейн // Программирование. – 2016. – № 4. – С. 69-92.
Інформаційно-пошукова система
'УФД/Бібліотека'