Constructible falsity and inexact predicates 论文

1984Journal of Symbolic Logic引用 278
DOI
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

Constructible falsity and inexact predicates · 相关技术

暂无数据