We use cookies to improve your experience with our site.
Advanced Search

Statistical Heuristic Search
Zhang Bo, Zhang Ling
1987, 2(1): 1-11.
Abstract
On the Complexity of Induction of Structural Descriptions
Lu Xuemiao
1987, 2(1): 12-21.
Abstract
Knowledge-Based Decision Support System
Shi Zhongzhi
1987, 2(1): 22-29.
Abstract
On the Development of Applications of Logic in Programming
Wu Yunzeng
1987, 2(1): 30-34.
Abstract
On Conceptual Model Specification and Verification
Gong Zhenhe
1987, 2(1): 35-50.
Abstract
Stack Method in Program Semantics
Tang Tonggao, Zhao Zhaokeng
1987, 2(1): 51-63.
Abstract
An Interactive System SDI on Microcomputer
Zhong Renbao, Xing Lin, Ren Zhaoyang
1987, 2(1): 64-71.
Abstract
Easy Test Generation PLAs
Min Yinghua
1987, 2(1): 72-80.
Abstract