Advanced Search

    column
    The Implementation Algorithm of a Concurrent Pascal Compiler
    SUN Jiasu
    1987, 24(6): 1-8.
    Abstract
    A PROLOG System Based on a Relational Date Base
    YANG Zhicheng
    1987, 24(6): 9-15.
    Abstract
    Computer Symbolic Integration System INTG
    CHEN Jianhua
    1987, 24(6): 16-21.
    Abstract
    The Equivalence Between Path Expression and Type 3 Grammer
    MA Zhifang
    1987, 24(6): 22-26.
    Abstract
    Logical Computational Types of the Pushdown Automata
    TANG Shouwen, CHEN Liang
    1987, 24(6): 27-30.
    Abstract
    The Specification and Derivation of Prolog Programs
    SUN Huaimin, WANG Liguo
    1987, 24(6): 31-41.
    Abstract
    Control Algorithms for the Rearrangeable Switching Network
    WANG Dingxing
    1987, 24(6): 42-54.
    Abstract
    An Application of Bayes Formula
    WANG Shenkang
    1987, 24(6): 55-64.
    Abstract
    Email Alert RSS