跳到主内容
申请路径
工具中心
日本生活
考试道场
数据中心
日
·
EN
·
中
正在读取登录状态
菜单
←
返回教授匹配
APPLICATION
教授匹配
教授资料
深度页
福田
陽介
更多
•••
← 方向地图
A · 基础信息
公开教授资料
1/3
A · 基础信息
留学神社 · 公开教授档案
Public Professor Archive
福田
陽介
京都橘大学 · 工学部
论文 / 著作
2
留学 神社
A
基础信息
京都橘大学 · 工学部
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。
B
近期论文 / 著作
2019/06 学術論文 「A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4.（査読付）」 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) (Article No. 20):1-20：24 （共著）
2019 · 論文
2018/08 学術論文 「A Higher-arity Sequent Calculus for Model Linear Logic.」 数理解析研究所講究録 2083:76-87 （共著）
2018 · 論文
C
可核对的公开链接
官方个人主页
下一步
登录后查看匹配度与联系建议
个性化匹配理由、联系角度与收藏保存需要登录后使用。
登录后查看匹配度和联系建议
福田 陽介 · 京都橘大学 · 教授匹配 · 留学神社
