Trial and error predicates and the solution to a problem of Mostowski 论文

1965Journal of Symbolic Logic引用 340
DOI
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeLogic, programming, and type systems
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeLogic, programming, and type systems
相关技术:Computability, Logic, AI Algorithms
关系图谱

Trial and error predicates and the solution to a problem of Mostowski · 相关事件

暂无数据