提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/rml/VidalT10澳大利亚-维达尔，胡安·克莱门特AU-Tur，Juan Soliveres公司TI-多分类等式逻辑的语法和语义的双范畴框架。JO-数学报告。日志。VL-45SP-37欧洲药典-952010年上半年//UR-（欧元）https://rml.tcs.uj.edu.pl/rml-45/03-气候.pdf急诊室-