钟小梅
讲师(高校)
硕士生导师
个人信息Personal Information
学历:博士研究生毕业
毕业院校:西南交通大学
所在单位:数学学院
报考该导师研究生的方式
欢迎你报考钟小梅老师的研究生,报考有以下方式:
1、参加西南交通大学暑期夏令营活动,提交导师意向时,选择钟小梅老师,你的所有申请信息将发送给钟小梅老师,老师看到后将和你取得联系,点击此处参加夏令营活动
2、如果你能获得所在学校的推免生资格,欢迎通过推免方式申请钟小梅老师研究生,可以通过系统的推免生预报名系统提交申请,并选择意向导师为钟小梅老师,老师看到信息后将和你取得联系,点击此处推免生预报名
3、参加全国硕士研究生统一招生考试报考钟小梅老师招收的专业和方向,进入复试后提交导师意向时选择钟小梅老师。
4、如果你有兴趣攻读钟小梅老师博士研究生,可以通过申请考核或者统一招考等方式报考该导师博士研究生。
点击关闭
Contradiction separation based dynamic multi-clause synergized automated deduction
发表刊物:Information Sciences
合写作者:Shuwei Chen,Xingxing He
第一作者:Yang Xu
论文类型:期刊论文
通讯作者:Jun Liu,Xiaomei Zhong
论文编号:1
卷号:2018, 462
页面范围:93–113
是否译文:否