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
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。