于鹏(1981-),男,宁夏永宁人,博士生,讲师,主要研究领域为非经典数理逻辑,计量逻辑;赵彬(1965-),男,博士,教授,博士生导师,主要研究领域为格上拓扑,非经典数理逻辑
赵彬,E-mail:zhaobin@snnu.edu.cn
国家自然科学基金(11531009);中央高校基本科研业务费专项资金(GK201501001)
National Natural Sciences Foundation of China (11531009); Fundamental Research Funds for the Central Universities (GK201501001)
于鹏,赵彬.公式真度的Hamming距离表示形式与分解定理.软件学报,2018,29(10):3091-3110
复制