机译:勘误表:实数封闭域和算术模型(《符号逻辑学报》(2010)75(1-11))
机译:勘误表:实数封闭域和算术模型(《符号逻辑学报》(2010)75(1-11))
机译:勘误表:HSV-2疫苗接种模型的定性动力学(IMA应用数学学报(2010)75:1(75-107))
机译:PEANO算术的实数封闭域和模型
机译:双定点算法的误差建模及其在现场可编程逻辑中的应用
机译:使用多值逻辑在有限域中进行算术运算。
机译:用符号逻辑建模躁狂抑郁症
机译:Ramsey量子逻辑中的Archimedean真实封闭字段理论