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

A Comparative Study of Default Reasoning and Epistemic Processes
Li Wei
1993, 8(3): 3-14.
Abstract
Bounded Recursively Enumerable Sets and Degrees
Sui Yuefei
1993, 8(3): 15-18.
Abstract
Optimizing FORTRAN Programs for Hierarchical Memory Parallel Processing Systems
Jin Guohua, Chen Fujie
1993, 8(3): 19-30.
Abstract
A Methodology for Mapping and Partitioning Arbitrary N-Dimensional Nested Loops into 2-Dimensional VLSI Arrays
Liu Hong, Wang Wenhong, Zhang Defu
1993, 8(3): 31-42.
Abstract
Optimized Parallel Execution of Declarative Programs on Distributed Memory Multiprocessors
Shen Meiming, Tian Xinmin, Wang Dingxing, Zheng Weimin, Wen Dongchan
1993, 8(3): 43-52.
Abstract
An Implementation of Pure Horn Clause Logic Programming in a Reduction System
Xu Manwu
1993, 8(3): 53-61.
Abstract
On Memory Capacity of the Probabilistic Logic Neuron Network
Zhang Bo, Zhang Ling
1993, 8(3): 62-66.
Abstract
Cooperative Hypermedia Editing with CoMEdiA
Adelino Santos
1993, 8(3): 67-79.
Abstract
Modelling Enterprises with Object-Oriented Paradigm
Gu Junzhong
1993, 8(3): 80-89.
Abstract
A New Local Control Spline with Shape Parameters for CAD/CAM
Qin Kaihuai, Sun Jiaguang
1993, 8(3): 90-98.
Abstract