Computable logic function (LCF), ML and the parallel theory (CCS) which highlighted three areas and perfect.
由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
2
In this paper, the computable model and function of pounding between the suspended part and the core-wall of the suspension structure was brought forward.