The logic of proofs, semantically 论文

2004Annals of Pure and Applied Logic引用 270
DOI
Logic, Reasoning, and KnowledgeSemantic Web and OntologiesAdvanced Algebra and Logic
Semantic Web and OntologiesAdvanced Algebra and LogicLogic, Reasoning, and Knowledge
关系图谱

The logic of proofs, semantically · 相关技术

暂无数据