Constructive Theories of Functions and Classes 论文

1979Studies in logic and the foundations of mathematics引用 241
DOI
Logic, programming, and type systemsComputability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeLogic, programming, and type systems
相关技术:Computability, Logic, AI Algorithms
关系图谱

Constructive Theories of Functions and Classes · 相关文章

暂无数据