... §1.2.1 关于非经典逻辑的研究概况; §1.2.2 关于自动推理理论与方法的研究概况 ... Reasoning of Lattice-valued Logic Based on Lattice Implication AlgebraCN.
確定! 回上一頁