· Research Projects

Current position: Home > Research > Research Projects

基于格值逻辑的α-n(t)元归结动态自动推理研究

Supported by: National natural science foundation of China

Project Number: 61175055