Rick Statman：交叉点类型的简单子类型。（2019年） 期刊/fuin/Statman19 10.3233/FI-2019-1864 交点类型的简单子类型。 1 瑞克·斯塔特曼 1 307-324 芬丹。信息学 芬丹。信息学 170 1-3 2019 dblp记录'journals/fuin/Statman19'的RDF数据的来源信息 2020-09-18T11:16:46+0200