EN
当前位置： X-MOL首页 › 全球导师 › 国内导师 › 边际
边际 讲师 收藏 完善纠错
山东师范大学    商学院
登录后才能查看导师的联系方式，马上登录...

个人简介

边际，本科硕士就读于山东大学，西澳大利亚大学（The University of Western Australia)计算科学博士毕业。 曾担任顶级形式化逻辑会议TIME评委，并在线性逻辑化推理方面有较深的研究积累。

研究领域

查看导师新发文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

线性通用时序逻辑（general linear temporal logic），线性逻辑下的模型生成算法（tableaux）， 软件工程，工作流方法。

我收藏的导师 >
便捷的期刊搜索 >
免费课题组网站 >
推荐链接
down
wechat
bug