(2020). Automatic Verification of Transformation Chains of Symbolic Inequalities Based on Logical Rules Search. Приборы и системы. Управление, контроль, диагностика. https://doi.org/10.25791/pribor.11.2020.1221
Παραπομπή σε μορφή Chicago (17η εκδ.)"Automatic Verification of Transformation Chains of Symbolic Inequalities Based on Logical Rules Search." Приборы и системы. Управление, контроль, диагностика 2020. https://doi.org/10.25791/pribor.11.2020.1221.
Παραπομπή σε μορφή MLA (9th εκδ.)"Automatic Verification of Transformation Chains of Symbolic Inequalities Based on Logical Rules Search." Приборы и системы. Управление, контроль, диагностика, 2020, https://doi.org/10.25791/pribor.11.2020.1221.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.