Mnacho Echenim和Nicolas Peltier：关于公式图式的推理（2012） 日记账/corr/abs-1204-2990 1204.2990 公式图式的推理 2 Mnacho Echenim公司 1 尼古拉斯·佩尔蒂埃 2 CoRR公司 CoRR公司 abs/1204.2990 2012 dblp记录'journals/corr/abs-1204-2990'的RDF数据的来源信息 2018年8月13日16:46:53+0200