...
机译:术语排序免费对合底数
Univ Turin, Dipartimento Matemat, I-10123 Turin, Italy;
Univ Genoa, Dipartimento Matemat, I-16146 Genoa, Italy;
Univ Turin, Dipartimento Matemat, I-10123 Turin, Italy;
Involutive bases; Quasi-stable ideals;
机译:渐进式基本子结构核心模糊逻辑:渐进式基于米亚诺姆的逻辑
机译:自由对合Hom半群和Hom缔合代数
机译:Grobner基和对合基的分布式计算效率估计
机译:逻辑计划的非转型终止分析,基于一般期限排序
机译:从自由市场经济中解放世界:基于民族国家的资本主义的重新审视
机译:氟达拉滨为基础的再生障碍性贫血儿童干细胞移植中更好的无失败生存率和移植物抗宿主疾病/无失败生存率
机译:词序自由对合底数