Current position: Home >>Research Focus
Dongming Wang

Personal Information

Professor  

Research Focus

符号计算、自动推理、知识管理与发现、机械化数学、代数生物学