Andrew Polonsky和Richard Statman：关于具有给定交集类型的术语集。（2022年） 期刊/lmcs/PolonskyS22 10.46298/LMCS-18（3:35）2022年 具有给定交集类型的术语集。 2 安德鲁·波伦斯基 1 理查德·斯塔特曼 2 日志。方法计算。科学。 日志。方法计算。科学。 18 3 2022 dblp记录“journals/lmcs/PolonskyS22”的RDF数据的来源信息 2023-01-24T10:48:24+0100