Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
The principle and resolution method of this model were detailed.
详细介绍该模型的原理以及求解方法。
The principle and resolution method of this model were detailed.
详细介绍该模型的原理以及求解方法。
应用推荐