A Computing Procedure for Quantification Theory 论文

1960Journal of the ACM引用 2607
DOIPDF
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeComputability, Logic, AI Algorithms
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeLogic, programming, and type systems
相关技术:Computability, Logic, AI Algorithms
关系图谱

A Computing Procedure for Quantification Theory · 相关文章

暂无数据