Motohashi Nobuyoshi | Institute Of Mathematics Tsukuba University

スポンサーリンク

概要

• MOTOHASHI Nobuyoshiの詳細を見る
• 同名の論文著者
• Institute Of Mathematics Tsukuba Universityの論文著者

関連著者

• Motohashi Nobuyoshi

  Institute Of Mathematics Tsukuba University

• KAKUDA Yuzuru

  Department of Computer and Systems Engineering Kobe University

• Kakuda Yuzuru

  Department Of Computer And Sytem Engineering Faculty Of Engineering Kobe University

• NAMBA Kanji

  Graduate School of Mathematical Sciences, University of Tokyo

• Namba Kanji

  Graduate School Of Mathematical Sciences University Of Tokyo

• MOTOHASHI Nobuyoshi

  Institute of Mathematics University of Tsukuba

著作論文

• The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996
• An axiomatization theorem
• A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics

スポンサーリンク