Yoshida Yuki | Department of Electrical, Electronics and Information Engineering, Osaka University

スポンサーリンク

概要

• Yoshida Yukiの詳細を見る
• 同名の論文著者
• Department of Electrical, Electronics and Information Engineering, Osaka Universityの論文著者

論文 | ランダム

• 証明図の新しい書式について
• 座標を持つ集合上のdifferentialの導入法
• NKに直結したシーケンス体系について
• 分析タブローの新しい書式について
• 節形式化と導出原理による自動証明の新しい表現法

もっと見る

スポンサーリンク