Public Professor Archive
新潟大学 · 評価センター
研究キーワードsubstructural logics・associative logic・linear logic・proof theory・residuated logics・algebraic logic
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。
個別の適合理由、連絡角度、保存機能はログイン後に利用できます。
