【2022年1月締切】CiNii ArticlesへのCiNii Researchへの統合に伴う機関認証の移行確認について

【1/6更新】2022年4月1日からのCiNii ArticlesのCiNii Researchへの統合について

図形表現を用いた証明の正規化について

書誌事項

タイトル別名
  • ズケイ ヒョウゲン オ モチイタ ショウメイ ノ セイキカ ニ ツイテ
  • Zukei hyōgen o mochiita shōmei no seikika ni tsuite
  • On normalization of heterogeneous proofs combining formulas and diagrams

抄録

type:text

特集 : 岡田光弘教授 退職記念号 依頼論文・エッセイ

収録刊行物

  • 哲學

    哲學 146 169-176, 2021-03

    三田哲學會

被引用文献 (0)*注記

もっと見る

参考文献 (0)*注記

もっと見る

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

ページトップへ