1.
Denotational Semantics of Dynamic Fuzzy Logic Programming Language
动态模糊逻辑程序设计语言的指称语义
2.
Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证
3.
Research and Applications on the Algebra Semantics Models of DFL Programming Language
动态模糊逻辑程序设计语言的代数语义模型及应用研究
4.
The Declarative Semantics of Logic Programming Language G(?)del
逻辑程序设计语言G(?)del的说明性语义
5.
A comparison between the logic programming languages Gdel and Prolog
逻辑程序设计语言Gdel与Prolog的比较
6.
The Formalized Procedural Semantic of Logic Programming Language G(?)del
逻辑程序设计语言G(?)del的形式化过程性语义
7.
PLATO (Programmed Logic for Automatic Operations)
自动指导操作程序设计逻辑
8.
A programming language designed for applications requiring numeric computations and some logical processes.
一种程序设计语言,主要为需要数值计算和某些逻辑处理的应用程序而设计的。
9.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
10.
Brief Look at the Logic Treatment of Semantic Vagueness in Natural Language;
自然语言中语义模糊逻辑解读的回顾
11.
automatic programming tools (APT )
机床自动程序设计语言
12.
data tabulation and editing programming
数据制表和编辑程序设计语言
13.
microcomputer language editor
微计算机语言编辑程序
14.
Discussion on Teaching Skills in "Program Logic and C language Realization";
《程序逻辑和C语言实现》教学方法探讨
15.
COBOL Language Program Designing
COBOL语言程序设计
16.
Programming language COBOL-Segmentation module
GB/T4092.9-1992程序设计语言cobol程序分段模块
17.
Research on Operator Dynamic Fuzzy Logic System and Its Resolution
算子动态模糊逻辑系统及其归结研究
18.
Shrek:a dynamic object-oriented programming language
Shrek:一个动态面向对象程序设计语言(英文)