提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司标识-DBLP:conf/lpar/TourE03巡回演唱会，蒂埃里·博伊·德拉AU-埃切宁，姆纳乔TI-NP-分层条件下演绎问题的完备性结果。BT：编程、人工智能和推理逻辑，第十届国际会议，LPAR 2003，哈萨克斯坦阿拉木图，2003年9月22日至26日，会议记录SP-317型欧洲药典-3312003年上半年//DO-2007年10月10日/978-3-540-39813-4_23UR-（欧元）https://doi.org/10.1007/978-3-540-39813-4_23急诊室-