带del操作的移动界程演算及其在英文句型识别中的应用 / Mobile Ambients with Del and its Application in English Sentence Type Recognition
- Resource Type
- Academic Journal
- Source
- 惠州学院学报 / Journal of Huizhou University. 43(3):12-17
- Subject
模型检测 移动界程 机器翻译 形式化建模 model checking mobile ambients machine translation formal modeling - Language
- Chinese
- ISSN
- 1671-5934