南澤 吉昭 | 東京工業大学情報理工学研究科計算工学専攻

スポンサーリンク

概要

• 南澤 吉昭の詳細を見る
• 同名の論文著者
• 東京工業大学情報理工学研究科計算工学専攻の論文著者

関連著者

• 米崎 直樹

  東京工業大学大学院情報理工学研究科計算工学専攻

• 南澤 吉昭

  東京工業大学情報理工学研究科計算工学専攻

• 米崎 直樹

  東京工業大学大学院情報理工学研究科

著作論文

• 線形論理CLL_eのモデルを用いた意味論
• 導出法による線形論理CLL_eの自動証明戦略

スポンサーリンク