TY  - RPRT
TI  - Mathematical Knowledge Representation: Semantic Models and Formalisms
AU  - Alexander Elizarov
AU  - Alexander Kirillovich
AU  - Evgeny Lipachev
AU  - Olga Nevzorova
AU  - Valery Solovyev
AU  - Nikita Zhiltsov
PY  - 2014
UR  - https://arxiv.org/abs/1408.6806
ID  - 1408.6806
ER  -