RUS
ENG
Full version
PEOPLE
Balashova Irina Yuryevna
Publications in Math-Net.Ru
Ontology-oriented information system for verification of formalized documents
News of the Kabardino-Balkarian Scientific Center of the Russian Academy of Sciences
,
26
:1 (2024),
11–20
©
Steklov Math. Inst. of RAS
, 2024