reasoning closure operator

基本解释

• [數學]推理閉包算子

专业释义

數學

• 推理閉包算子