小林 英恒 | 計算論理研究室

スポンサーリンク

概要

• 小林 英恒の詳細を見る
• 同名の論文著者
• 計算論理研究室の論文著者

関連著者

• 小林 英恒

  日本大学理工学部数学科

• 小野 陽子

  島根県立大学

• 小林 英恒

  計算論理研究室

• 小野 陽子

  横浜市立大学国際総合科学部

• 小林 英恒

  計算論理研究所

著作論文

• A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science)
• An analysis of the Bernstein's theorem for an automated prover (Algebra and Computer Science)

スポンサーリンク