APPLICATION
教授匹配
Public Professor Archive
東北大学 · 電気通信研究所
東北大学 · 電気通信研究所
研究关键词proof theory・Gentzen calculi・strong normalization・basic propositional calculus・term rewriting systems・local sufficient completeness・automated theorem proving・logical system implementation
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。