提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cade/ThistlewaiteM86澳大利亚——Thistlewaite，Paul B。澳大利亚——迈克尔·麦克罗比。AU-Meyer，Robert K。TI-克里普克自动定理证明系统。英国电信-第八届自动扣减国际会议，英国牛津，1986年7月27日至8月1日，会议记录SP-705型EP-706PY-1986年//DO-2007年10月10日/3-540-16780-3_147你-https://doi.org/10.1007/3-540-16780-3_147你-https://www.wikidata.org/entity/Q57309877急诊室-