胡安·克莱门特·维达尔(Juan Climent Vidal)和胡安·索利弗莱斯·图尔(Juan Soliveres Tur):一个多分类等式逻辑句法和语义的双范畴框架。(2010) 期刊/rml/VidalT10 多分类等式逻辑的句法和语义的双范畴框架。 2 胡安·克莱门特·维达尔 1 Juan Soliveres Tur公司 2 37-95 数学报告。日志。 数学报告。日志。 45 2010 dblp记录“journals/rml/VidalT10”的RDF数据的来源信息 2021-12-08T17:06:01+0100