Fast subsumption checks using anti-links

被引：0

作者：

Intel Corp, Chandler, United States ^{[1
]}

机构：

来源：

J Autom Reasoning | / 1卷 / 47-83期

关键词：

Number:; CCR-9101208; Acronym:; NSF; Sponsor: National Science Foundation; -; DFG; Sponsor: Deutsche Forschungsgemeinschaft;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用