提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/jsc/AhmedV96AU-艾哈迈德，莫欣澳大利亚——Venkatesh，G。TI-密集时间逻辑编程。JO-J.符号。计算。VL-22IS-5/6SP-585型EP-6131996年上半年//DO-2006年10月10日/JSCO.1996.0067UR-（欧元）https://doi.org/10.1006/jsco.1996.0067急诊室-