APA (7th ed.) Citation

Нікітченко, М., Шкільняк, О., & Шкільняк, С. (2020). Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення. Проблеми програмування.

Chicago Style (17th ed.) Citation

Нікітченко, М.С, О.С Шкільняк, and С.С Шкільняк. "Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення." Проблеми програмування 2020.

MLA (8th ed.) Citation

Нікітченко, М.С, et al. "Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення." Проблеми програмування, 2020.

Warning: These citations may not always be 100% accurate.