提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lfcs/DekhtyarD97非盟——迈克尔·德克蒂亚。AU-迪科夫斯基，亚历山大·贾。TI-演绎数据库稳定性的识别。BT-计算机科学逻辑基础，第四届国际研讨会，LFCS’97，俄罗斯雅罗斯拉夫尔，1997年7月6日至12日，会议记录SP-67型EP-771997年上半年//DO-2007年10月10日/3-540-63045-7_8UR-（欧元）https://doi.org/10.1007/3-540-63045-7_8急诊室-