电脑体验，效果更佳

马盈仓图谱-自然科学领域：

相关人员

李骏 何华灿 薛占熬 韦奉岐 周艳

研究领域

复合图 基本蕴涵 广义重言式 重言式 保值蕴涵 图的平方 Groebner基 推理蕴涵

所属机构

陕西西安 甘肃兰州 陕西师范大学数学系 西北纺织工学院数理系 西安工程科技学院数理系 甘肃工业大学基础科学系 西安工程科技学院理学院 西北工业大学计算机学院

标签云