Prolegomena to a theory of mechanized formal reasoning 论文

1980Artificial Intelligence引用 385
DOI
Logic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

Prolegomena to a theory of mechanized formal reasoning · 相关文章

暂无数据