On a generalization of quantifiers 论文

1957Fundamenta Mathematicae引用 688
DOIPDF
Logic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

On a generalization of quantifiers · 相关技术

暂无数据