Algebraic Theories 论文

1976Graduate texts in mathematics引用 283
DOI
Logic, programming, and type systemsAdvanced Algebra and LogicLogic, Reasoning, and Knowledge
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

Algebraic Theories · 相关技术

暂无数据