小野 陽子 | 島根県立大学
スポンサーリンク
概要
関連著者
-
小林 英恒
日本大学理工学部数学科
-
小野 陽子
島根県立大学
-
小野 陽子
横浜市立大学国際総合科学部
-
小野 陽子
新潟国際情報大学
-
小林 英恒
日本大学理工学部
-
小林 英恒
計算論理研究室
-
鈴木 秀男
能力開発総合大学校東京校情報技術科
-
栗野 俊一
日本大学理工学部数学科
-
鈴木 秀男
職業能力開発総合大学校東京校
-
小林 英恒
計算論理研究所
-
栗野 俊一
日本大学理工学部
著作論文
- Formalization of the valuation theory (Algebra, Languages and Computation)
- 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)