|
| 004.42:510.69 | | |
Нікітченко, М. С.
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення [Текст] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк
// Проблеми програмування. – 2020. – № 2-3. – С. 182-197.
|
| |
|
