子公式（ ）：设 为命题公式， 子公式（Sub Formula）：设α为命题公式，β ）： 为命题公式， 为α中的一个连续的符号串，且β为命题公式， 中的一个连续的符号串， 则称β 则称β为...
基于10个网页-相关网页
Furthermore, as an application of the characterization, the authors give the distance formula for the finite-partition sub-module.
进而，作为该刻画的一个应用，文中给出有限分划子模的距离公式。
The paper is concerned with the algorithms for extraction of minimal unsatisfiable (mu) Boolean sub-formula. The algorithms include approximate and exact methods.
研究了极小布尔不可满足子式的提取算法，它分为近似算法和精确算法两种。
Based on the analytic formula of groundwater inflow into tunnel, this paper puts forward a method to choose the minimal rock cover of sub-sea tunnel.
基于隧道涌水量解析公式，从隧道涌水量的角度出发考虑确定海底隧道的最小岩石覆盖厚度。
应用推荐