共 50 条
- [21] ONE FORMALIZATION OF EXTREMUM PROBLEMS [J]. DOKLADY AKADEMII NAUK SSSR, 1980, 250 (01): : 11 - 14
- [22] Formalization of scientific and technical sentences in Russian language [J]. APPLIED MATHEMATICS, COMPUTATIONAL SCIENCE AND MECHANICS: CURRENT PROBLEMS, 2020, 1479
- [25] A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering [J]. PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, 2008, : 185 - 194
- [26] Semantics Formalization of Vectorized Machine Learning Instructions in K Framework [J]. Ruan Jian Xue Bao/Journal of Software, 2023, 34 (08): : 3853 - 3869
- [27] Formalization of risk in Russian-Soviet legislation [J]. VOPROSY ISTORII, 2023, 2 (02) : 104 - 115
- [29] Map Retrieval Intention Formalization and Recognition by Considering Geographic Semantics [J]. Journal of Geo-Information Science, 2023, 25 (06): : 1186 - 1201
- [30] The Semantics of the Russian Comitative Construction [J]. Natural Language & Linguistic Theory, 1998, 16 : 597 - 631