Fixpoint semantics for logic programming a survey 论文

2002Theoretical Computer Science引用 229

Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic

Advanced Algebra and Logic Logic, Reasoning, and Knowledge Logic, programming, and type systems

1

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (1)

Melvin Fitting

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据