由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
Computable logic function (LCF), ML and the parallel theory (CCS) which highlighted three areas and perfect.
证明过程中主要应用了分析中的压缩映象原理和一些空间的性质，通过构造可计算函数，来把解从一个区间延拓到整个空间。
We mainly apply the contraction principle in analysis and properties of some Spaces. By the computable functions constructed, we extend the solution from the internal to the entire space.
证明过程中主要应用了分析中的压缩映象原理和一些空间的性质，通过构造可计算函数，来把解从一个区间延拓到整个空间。
We mainly apply the contraction principle in analysis and properties of some Spaces. By the computable functions constructed, we extend the solution from the internal to the entire space.
应用推荐