Automated Reasoning with Analytic Tableaux and Related Methods 论文

2013Lecture notes in computer science引用 393
Semantic Web and OntologiesConstraint Satisfaction and OptimizationData Mining Algorithms and Applications