algebraic matching 2 behavior algebra 2 symbolic modeling алгебраїчне зіставлення 2 символьне моделювання 2 004.4[2+9] 1 004.94 1 519.7 1 UDC 004.05 1 UDC 519.85 1 formalization 1 incompleteness 1 legal text mining 1 software vulnerabilities 1 УДК 004.05 1 УДК 519.85 1 алгебра поведений 1 алгебра поведінки 1 алгебра поведінок 1 алгебраическое сопоставление 1 вразливості програмного забезпечення 1 неповнота 1 символьное моделирование 1 уязвимости программного обеспечения 1 формалізація 1 інтелектуальний аналіз юридичного тексту 1