电脑体验，效果更佳

BCK代数图谱-自然科学领域：

研究人员

张小红 郑淑红 朱荣坤 刘贵龙 王保社

相关术语

完备性 R0代数 有界关联BCK代数 理想 模糊超积 单BCK代数 模型完备性 形式演绎系统

标签云