1000-9000
1987 Issue 1
Easy Test Generation PLAs
Min Yinghua
Min Yinghua
..............page:72-80
Stack Method in Program Semantics
Tang Tonggao Zhao Zhaokeng
Tang Tonggao Zhao Zhaokeng
..............page:51-63
..............page:12-21
An Interactive System SDI on Microcomputer
Zhong Renbao Xing Lin Ren Zhaoyang
Zhong Renbao Xing Lin Ren Zhaoyang
..............page:64-71
Statistical Heuristic Search
Zhang Bo Zhang Ling
Zhang Bo Zhang Ling
..............page:1-11
Knowledge-Based Decision Support System
Shi Zhongzhi
Shi Zhongzhi
..............page:22-29
On Conceptual Model Specification and Verification
Gong Zhenhe oruay)
Gong Zhenhe oruay)
..............page:35-50
..............page:30-34