Навігатор :
Особистий кабінет:
Електронний каталог: Нікітченко, М. С. - Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та ко...
Нікітченко, М. С. - Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та ко...
Стаття
Автор: Нікітченко, М. С.
Проблеми програмування. Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та ко...
б.г.
ISBN відсутній
Автор: Нікітченко, М. С.
Проблеми програмування. Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та ко...
б.г.
ISBN відсутній
На полицю
(UA) Стаття
Нікітченко, М. С.
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення [Текст] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування. – 2020. – № 2-3. – С. 182–197 . – Те саме [Електронний ресурс]. - Режим доступу: локальна мережа ПУЕТ.
Загальний = Програмування
Нікітченко, М. С.
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення [Текст] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування. – 2020. – № 2-3. – С. 182–197 . – Те саме [Електронний ресурс]. - Режим доступу: локальна мережа ПУЕТ.
Загальний = Програмування
Замовити