提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lpar/Gardner93AU-菲律宾加德纳TI——一种新型的逻辑表示理论。BT-逻辑编程和自动推理，第四届国际会议，LPAR’93，俄罗斯圣彼得堡，1993年7月13日至20日，会议记录SP-146EP-1571993年上半年//DO-2007年10月10日/3-540-56944-8_49UR-（欧元）https://doi.org/10.1007/3-540-56944-8_49急诊室-