电脑体验，效果更佳

非经典逻辑图谱-计算机领域：

研究人员

吴顺祥 刘全 崔志明 龚声蓉 伏玉琛 凌兴宏 张玉平 王小晟

相关术语

模型论 形式化 非单调推理 超协调性 灰色系统 自动推理 超协调逻辑 一阶谓词逻辑

正在加载...