1.
Maizar Project and Algebra Structure of the Quaternion Numbers;
Mizar语言系统与四元数的代数结构
2.
The Function Differential, Partial Differentiation, Grads, Divergence, and Curl in Mizar
函数的微分、偏微分及梯度、散度、旋度在Mizar语言下的实现
3.
Generalized Fuzzy Subalgebra of Boolean Algebra and the Realization of It in Mizar System;
布尔代数的广义Fuzzy子代数及其在Mizar系统中的实现
4.
The Properties of Generalized Circulant Matrix and the Realization of Circulant Matrix in Mizar System;
广义循环矩阵的性质及循环矩阵在Mizar系统中的实现
5.
natural speech understanding systems
自然语言语音理解系统
6.
debug support system command language syntax
调试支持系统语言语法
7.
Language is the contrastive combination of the language system and the linguistic phenomena.
语言是语言系统和语言现象的对立统一。
8.
A system of vowels used in a language or dialect.
元音系统用于语言或方言的元音系统
9.
Research of language model in automatic chinese dialect identification system;
汉语方言自动辨识系统中的语言建模
10.
The Comparison between Systemic Functional Grammar and Transformational Generative Grammar;
系统功能语言学与形式语言学的对比
11.
Create the Preschool Linguistic System for Deaf Children and Advance Their Language Learning;
构建学前语言系统 促进聋童语言学习
12.
tabular systems-oriented language (TABSOL)
面向制表系统的语言
13.
IMS data language
信息管理系统数据语言
14.
debug support system command language
调试支持系统命令语言
15.
natural language understanding systems
自然语言书面理解系统
16.
debug support system language format
调试支持系统语言格式
17.
language-oriented system analysis table
面向语言的系统分析表
18.
discrete event system simulation language
离散事件系统仿真语言