小野 陽子 | 横浜市立大学国際総合科学部
スポンサーリンク
概要
関連著者
-
小林 英恒
日本大学理工学部数学科
-
小野 陽子
島根県立大学
-
小野 陽子
横浜市立大学国際総合科学部
-
小林 英恒
計算論理研究室
-
小野 陽子
新潟国際情報大学
-
小林 英恒
日本大学理工学部
-
小林 英恒
計算論理研究所
著作論文
- An automated reasoning system based on isabelle/HOL (Algebras, Languages, Algorithms and Computations)
- 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)