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