高階アブストラクションに基づく自然演繹証明の類推(理論計算機科学とその周辺)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 原尾 政輝

  Department Of Artifical Intelligence Kyushu Institute Of Technology

関連論文

• 高階アブストラクションに基づく自然演繹証明の類推(理論計算機科学とその周辺)
• EMBEDDING OF GRAPHS INTO CELLULAR ARRAYS BY GRAPH FACTORIZATION METHOD
• A New Method of Solving Multimode Coupled Equations for Analysis of Uniform and Non-Uniform Fiber Bragg Gratings and Its Application to Acoustically Induced Superstructure Modulation

スポンサーリンク