• provable equivalence - 引用次数：2

  参考来源 - 二值命题逻辑公式在等价意义下的一般表示及其应用

·2,447,543篇论文数据，部分数据来源于NoteExpress