电脑体验，效果更佳

一阶谓词图谱-计算机领域：

研究人员

张国军 王宗亮 吴飞跃 朱海平

相关术语

判定法 自动定理证明 业务流程管理 Horn子句 Prolog语言 人工智能 访问控制模型

正在加载...