武汉大学主页平台管理系统甘庭--中文主页--科学研究

甘庭

个人信息

教师拼音名称：Gan Ting
电子邮箱：

访问量：

开通时间：--

最后更新时间：--

当前位置: 中文主页 >> 科学研究

研究领域

暂无内容

论文成果

[1]. Interpolant synthesis for quadratic polynomial inequalities and combination with EUF. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9706 (0302-9743). 2016.

专利

暂无内容

著作成果

更多>>

科研项目

更多>>

科研团队

暂无内容