Форма документа : Стаття із журналу Шифр видання : Автор(и) : Шкільняк О. С. Назва : Відношення логістичного наслідку в логіках часткових предикатів з композицією предикатного доповнення Місце публікування : Проблеми програмування: науковий журнал/ Інститут програмних систем НАН України. - Київ: Інститут програмних систем НАН України, 2019. - № 3. - С. 11-27. - ISSN 1727-4907 (Шифр П312121815/2019/3). - ISSN 1727-4907 Примітки : Бібліогр. в кінці ст. Ключові слова (''Вільн.індекс.''): логіка--частковий предикат--композиційна алгебра--логістичний наслідок |