...
机译:直觉的弗雷格系统在多项式上是等效的
Department of Philosophy, Stanford University, USA;
机译:具有多项式公理的计数深度的恒定深度Frege系统模拟Nullstellensatz反驳
机译:弗雷格系统和替代弗雷格系统的证明大小比较
机译:非经典逻辑中的替代Frege和扩展Frege证明系统
机译:持有持续深度弗赖基系统和多项式微积分的指数加速的证明系统下限
机译:使用多项式样条模型估算营养数据的成人等效量表。
机译:一种新的基于直觉模糊规则的操作系统过程调度决策系统
机译:具有计数公理的恒定深度弗赖基系统多项式模拟无烟素质透露