电脑体验，效果更佳

周湘南图谱-自然科学领域：

相关人员

秦晓燕 王国俊

研究领域

相对真度 准真度 纯文字 有限解释 PI证明 PI归结 谓词逻辑

所属机构

陕西西安 陕西师范大学数学研究所 陕西师范大学数学与信息科学学院 陕西西安710062西安交通大学基础科学...

标签云