提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/agp/BuzzanoDM97澳大利亚-波扎诺，马尔科澳大利亚-乔治·德尔扎诺澳大利亚-马泰利，毛里齐奥TI——面向对象、演绎和主动数据库的线性逻辑语义。1997年6月16日至19日，意大利格拉多，1997年APPIA-GULP-PRODE，BT-1997声明性编程联合会议SP-105型EP-1161997年上半年//急诊室-