Advances in Chinese Computer Science
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810201524, 9789812812407

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

THE AXIOM SYSTEM ACG AND THE PROOF OF CONSISTENCY OF THE SYSTEM QM AND ZF#

Advances in Chinese Computer Science ◽

10.1142/9789812812407_0009 ◽

1991 ◽

pp. 153-171

Author(s):

Jinwen Zhang

Keyword(s):

Axiom System

Download Full-text

FRONT MATTER

Advances in Chinese Computer Science ◽

10.1142/9789812812407_fmatter ◽

1991 ◽

pp. i-vi

Author(s):

Kongshi Xu

Download Full-text

WEAK MUTATION METHOD OF SOFTWARE TESTING AND RELATIONAL TEST DATA

Advances in Chinese Computer Science ◽

10.1142/9789812812407_0011 ◽

1991 ◽

pp. 191-203

Author(s):

Renjie Zheng ◽

Fan Jiang

Keyword(s):

Software Testing ◽

Test Data

Download Full-text

CS: THE COMMUNICATION SUB-SYSTEM OF C-POREL

Advances in Chinese Computer Science ◽

10.1142/9789812812407_0007 ◽

1991 ◽

pp. 119-131

Author(s):

Jianli Xu ◽

Longxiang Zhou

Download Full-text

KNOWLEDGE REPRESENTATION BY PETRI NETS

Advances in Chinese Computer Science ◽

10.1142/9789812812407_0005 ◽

1991 ◽

pp. 79-103

Author(s):

Chuang Lin ◽

Wei-Ming Lu

Keyword(s):

Knowledge Representation ◽

Petri Nets

Download Full-text

LogC: A LANGUAGE AND ENVIRONMENT FOR AI PROGRAMMING

Advances in Chinese Computer Science ◽

10.1142/9789812812407_0004 ◽

1991 ◽

pp. 69-78

Author(s):

Yulin Feng

Download Full-text

A SET OF PARALLEL ALGORITHMS FOR CALCULATING FFT BASED ON MULTIPLE VECTOR SYSTEMS

Advances in Chinese Computer Science ◽

10.1142/9789812812407_0008 ◽

1991 ◽

pp. 133-151

Author(s):

Defu Zhang ◽

Lan Sheng

Keyword(s):

Parallel Algorithms ◽

Vector Systems

Download Full-text

CAN LOGIC PROGRAMMING BE LIBERATED FROM FOL? FOUNDATIONS OF A HIGH ORDER RULE LANGUAGE

Advances in Chinese Computer Science ◽

10.1142/9789812812407_0003 ◽

1991 ◽

pp. 41-68

Author(s):

Qiming Chen

Keyword(s):

Logic Programming ◽

High Order ◽

Order Rule

Download Full-text

THE KNOWLEDGE PROCESSING OF CONBES

Advances in Chinese Computer Science ◽

10.1142/9789812812407_0002 ◽

1991 ◽

pp. 25-39 ◽

Cited By ~ 2

Author(s):

Cungen Cao ◽

Ruqian Lu

Keyword(s):

Knowledge Processing

Download Full-text

LIMITED ERROR-PROPAGATION, SELF-SYNCHRONIZATION AND FINITE INPUT MEMORY FSMs AS WEAK INVERSES

Advances in Chinese Computer Science ◽

10.1142/9789812812407_0001 ◽

1991 ◽

pp. 1-24 ◽

Cited By ~ 2

Author(s):

Feng Bao

Keyword(s):

Error Propagation

Download Full-text