Deductive systems and categories 论文

1968Theory of Computing Systems引用 254
DOI
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeAdvanced Algebra and Logic
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

Deductive systems and categories · 相关文章

暂无数据