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：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 32 条
  • [31] Quantifying effect of combined oral contraceptive pill on functional ovarian reserve as measured by serum anti-Mullerian hormone and small antral follicle count using three-dimensional ultrasound
    Deb, S.
    Campbell, B. K.
    Pincott-Allen, C.
    Clewes, J. S.
    Cumberpatch, G.
    Raine-Fenning, N. J.
    ULTRASOUND IN OBSTETRICS & GYNECOLOGY, 2012, 39 (05) : 574 - 580
  • [32] Toward a Typology of Technology-Using Teachers in the "New Digital Divide": A Latent Class Analysis of the NCES Fast Response Survey System Teachers' Use of Educational Technology in US Public Schools, 2009 (FRSS 95)
    Graves, Kenneth E.
    Bowers, Alex J.
    TEACHERS COLLEGE RECORD, 2018, 120 (08):
1234