Public Professor Archive
新潟大学 · 評価センター
研究关键词substructural logics・associative logic・linear logic・proof theory・residuated logics・algebraic logic
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。
个性化匹配理由、联系角度与收藏保存需要登录后使用。
