提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/csl/Statman96AU-理查德·斯坦曼TI-关于笛卡尔单体。BT-计算机科学逻辑，第10届国际研讨会，CSL’96，EACSL年会，荷兰乌得勒支，1996年9月21日至27日，论文选集SP-446EP-4591996年上半年//文件编号：10.1007/3-540-63172-0_55UR-（欧元）https://doi.org/10.1007/3-540-63172-0_55呃-