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

Motion Planning for Robots with Topological Dimension Reduction Method
Zhang Bo, Zhang Tian, Zhang Jianwei, Zhang Ling
1990, 5(1): 1-16.
Abstract
Denote CSP with Temporal Formulas
Zhou Chaochen, Liu Xinxin
1990, 5(1): 17-23.
Abstract
Aliasing Errors in Parallel Signature Analyzers
Min Yinghua, Yashwant K. Malaiya, Jin Boping
1990, 5(1): 24-40.
Abstract
Algorithms for the Determination of Cutsets in a Hypergraph
Yao Rong, Kang Tai, Chen Tinghuai
1990, 5(1): 41-46.
Abstract
A Message-Based Distributed Kernel for a Full Heterogeneous Environment
Xue Xing, Sun Zhongxiu, Zhou Jianqiang, Xu Xihao
1990, 5(1): 47-56.
Abstract
A Parallel Algorithm for Finding Roots of a Complex Polynomial
Cheng Jinsong
1990, 5(1): 71-81.
Abstract
Two Congruent Semantics for Prolog with CUT
Zhu Mingyuan
1990, 5(1): 82-91.
Abstract
A Fuzzy Proof Theory
Liu Dongbo, Li Deyi
1990, 5(1): 92-96.
Abstract