电脑体验，效果更佳

非链格蕴涵代数上的四值命题逻辑系统LP4（X）图谱-自然科学领域：

研究人员

孟丹 郑逢斌 徐扬 秦克云

相关术语

格蕴涵代数 自动推理 归结原理

标签云