电脑体验，效果更佳

谓词逻辑图谱-计算机领域：

研究人员

卢延鑫 李祥 师雪霖 周明天 古天龙 张继福 谢鸿波 王雪松

相关术语

函数程序设计语言 NP完全问题 谓词公式 指称语义学 ASP知识库 递归程序 回答集程序设计 三值逻辑

正在加载...