Richard Statman：关于给定交集类型的术语集。（2018年） 日记账/corr/abs-1809-08169 1809.08169 具有给定交集类型的术语集。 1 理查德·斯塔特曼 1 CoRR公司 CoRR公司 abs/1809.08169 2018 dblp记录'journals/corr/abs-1809-08169'的RDF数据的来源信息 2018-10-05T11:34:52+0200