Recursive predicates and quantifiers 论文

1943Transactions of the American Mathematical Society引用 341

Logic, Reasoning, and KnowledgeConstraint Satisfaction and OptimizationSemantic Web and Ontologies

Semantic Web and Ontologies Logic, Reasoning, and Knowledge Constraint Satisfaction and Optimization

相关技术:Constraint Satisfaction and Optimization

Recursive predicates and quantifiers · 相关事件

暂无数据