提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/aisc/EchenimP12AU-埃切宁，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-福尔穆尔模式推理。BT-智能计算机数学-第11届国际会议，AISC 2012，第19次研讨会，Calculemus 2012，第5次国际研讨会，DML 2012，第11次国际会议，MKM 2012，系统和项目，作为CICM 2012的一部分，于2012年7月8日至13日在德国不来梅举行。诉讼SP-310型EP-3252012年上半年//DO-2007年10月10日/978-3642-31374-5_21UR-（欧元）https://doi.org/10.1007/978-3642-31374-5_21急诊室-