(2020). Automatic Verification of Transformation Chains of Symbolic Inequalities Based on Logical Rules Search. Приборы и системы. Управление, контроль, диагностика. https://doi.org/10.25791/pribor.11.2020.1221
Chicago Style (17th ed.) Citation"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 ed.) Citation"Automatic Verification of Transformation Chains of Symbolic Inequalities Based on Logical Rules Search." Приборы и системы. Управление, контроль, диагностика, 2020, https://doi.org/10.25791/pribor.11.2020.1221.
Warning: These citations may not always be 100% accurate.