A Machine-Oriented Logic Based on the Resolution Principle 论文

1965Journal of the ACM引用 3900
DOIPDF
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsSemantic Web and Ontologies
Semantic Web and OntologiesLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

A Machine-Oriented Logic Based on the Resolution Principle · 相关技术

暂无数据