机译:针对一元职能的订购财产
Linear ordering; Unary function; Ramsey property;
机译:针对一元职能的订购财产
机译:系统Z(FO):一元一阶条件知识库的类似系统Z排名功能的默认推理
机译:一元递归函数代数的最大子代数
机译:关于一元函数相关的一些二元克隆的最小值
机译:不存在满足某些最低要求的性质和平方可积函数的可数集合的整数晶格平移的再现性质的表征的,类似小波的缩放比例多功能
机译:M11-L密度函数对一元和二元半导体的带隙和晶格常数的性能
机译:Bruinier - Funke配对和一元theta的正交补 功能