1. Statistical heuristic search

   • Zhang Bo
   • Zhang Ling

   OriginalPaper Pages: 1 - 11

2. On the complexity of induction of structural descriptions

   • Lu Xuemiao

   OriginalPaper Pages: 12 - 21

3. Knowledge-based decision support system

   • Shi Zhongzhi

   OriginalPaper Pages: 22 - 29

4. On the development of applications of logic in programming

   • Wu Yunzeng

   OriginalPaper Pages: 30 - 34

5. On conceptual model specification and verification

   • Gong Zhenhe

   OriginalPaper Pages: 35 - 50

6. Stack method in program semantics

   • Tang Tonggao
   • Zhao Zhaokeng

   OriginalPaper Pages: 51 - 63

7. An interactive system SDI on microcomputer

   • Zhong Renbao
   • Xing Lin
   • Ren Zhaoyang

   OriginalPaper Pages: 64 - 71

8. Easy test generation PLAs

   • Min Yinghua

   OriginalPaper Pages: 72 - 80