山本 雅人 | (北海道大学)

スポンサーリンク

概要

• 同名の論文著者
• (北海道大学)の論文著者

関連著者

• 大柳 俊夫

  札幌医科大学保健医療学部

• 大柳 俊夫

  (北海道大学)

• 山本 雅人

  (北海道大学)

• 大内 東

  (北海道大学)

著作論文

• SATに対する陰的列挙法とDavis-Putnamの方法の関係について

スポンサーリンク