Автоматизация технологических и бизнес-процессов

Revista Română de Informatică și Automatică
Veröffentlicht: (2017)

Advanced Manufacturing: Polymer & Composites Science
Veröffentlicht: (2017)

Vestnik KRAUNC: Fiziko-Matematičeskie Nauki
Veröffentlicht: (2016)

Automatika
Veröffentlicht: (2018)

Кібернетика та комп'ютерні технології
Veröffentlicht: (2021)

ITM Web of Conferences
Veröffentlicht: (2014)

International Journal of Science, Technology, Engineering and Mathematics
Veröffentlicht: (2023)

Herald of Advanced Information Technology
Veröffentlicht: (2026)

Transportation and Information Technologies in Russia
Veröffentlicht: (2026)

Ìнформаційні технології та компʼютерна інженерія
Veröffentlicht: (2025)

Towards a mathematical system for extension education
von: Kaul, P.N.
Veröffentlicht: (1984)

Информатика и автоматизация
Veröffentlicht: (2021)

International Journal of Advanced Studies
Veröffentlicht: (2018)

Towards a mathematical system for extension education - II
von: Kaul, P.N., et al.
Veröffentlicht: (1987)

Teaching Mathematics and Computer Science
Veröffentlicht: (2024)

Information Technology and Libraries
Veröffentlicht: (2012)

International Journal of Computers Communications & Control
Veröffentlicht: (2017)

Malaysian Journal of Computing
Veröffentlicht: (2023)

Wasit Journal of Computer and Mathematics Science
Veröffentlicht: (2024)

Organizacija Znanja
Veröffentlicht: (2023)

Сучасний стан наукових досліджень та технологій в промисловості
Veröffentlicht: (2018)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
von: Proof Engine
Veröffentlicht: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
von: Proof Engine
Veröffentlicht: (2026)

Наукові вісті Національного технічного університету України "Київський політехнічний інститут"
Veröffentlicht: (2017)

PUP Journal of Science and Technology
Veröffentlicht: (2025)

Современные информационные технологии и IT-образование
Veröffentlicht: (2018)

Вестник Донского государственного технического университета
Veröffentlicht: (2018)

Физика волновых процессов и радиотехнические системы
Veröffentlicht: (2023)

Hexagon
Veröffentlicht: (2024)

Ķazaķstan-britan tehnikalyķ universitetìnìņ habaršysy
Veröffentlicht: (2023)

Informatika
Veröffentlicht: (2017)

Advanced Engineering Research
Veröffentlicht: (2021)

المجلة العربية الدولية لتكنولوجيا المعلومات والبيانات
Veröffentlicht: (2026)

ROBOMECH Journal
Veröffentlicht: (2015)

Системный анализ и прикладная информатика
Veröffentlicht: (2016)

Enterprise Modelling and Information Systems Architectures
Veröffentlicht: (2021)