俞本立 赵宝元 李坤豪 黄晓梅 胡钢 马虎兆 宋卫东 张伟

一阶谓词逻辑 船舶 核桃粉 粉煤灰 算术均值法定和 尿结石 企业进销存管理系统 液晶取向

湖北武汉 湖北恩施 江苏南通 浙江杭州 江苏淮安 湖北民族学院计算机与数学系 海军工程大学船舶与动力学院 海军工程大学船舶与海洋工程系