共 50 条
- [42] K: A Semantic Framework for Programming Languages and Formal Analysis Tools [J]. DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2017, 50 : 186 - 206
- [43] FORMAL AND SEMANTIC ANALYSIS OF COMPUTER PASSWORDS OF CZECH INTERNET USERS [J]. EDULEARN14: 6TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2014, : 2794 - 2798
- [44] Formal and Semantic Analysis of the Detoponymical Adjectives in Russian, Polish and Macedonian [J]. ACADEMIC JOURNAL OF MODERN PHILOLOGY, 2023, 19
- [48] Are There Semantic Primes in Formal Languages? [J]. DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, 11TH INTERNATIONAL CONFERENCE, 2014, 290 : 397 - 405
- [49] Formal theories for semantic fusion [J]. 2006 9TH INTERNATIONAL CONFERENCE ON INFORMATION FUSION, VOLS 1-4, 2006, : 1684 - 1691