Fixpoint semantics for logic programming a survey 论文

2002Theoretical Computer Science引用 229
DOI
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

Fixpoint semantics for logic programming a survey · 相关文章

暂无数据