电脑体验，效果更佳

许文艳图谱-自然科学领域：

相关人员

吴恒洋 韩诚 刘三阳

研究领域

可计算性逻辑 中点 知识表示 乘积R0代数 知识库系统 推理机 LLindenbaum代数 非全序 R0代数 真布尔元

所属机构

陕西西安 陕西师范大学数学与信息科学学院 盐城师范学院数学系 陕西师范大学数学研究所 西安电子科技大学理学院应用数学系 上海师范大学数理信息学院 江苏盐城

标签云