Шкільняк, О., & Шкільняк, С. (2022). Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю. Проблеми програмування.
Chicago Style (17th ed.) CitationШкільняк, О.С, and С.С Шкільняк. "Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю." Проблеми програмування 2022.
MLA (8th ed.) CitationШкільняк, О.С, and С.С Шкільняк. "Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю." Проблеми програмування, 2022.
Warning: These citations may not always be 100% accurate.