KOBAYASHI YASUHIRO | Energy Research Laboratory, Hitachi Ltd.
スポンサーリンク
概要
関連著者
-
KOBAYASHI YASUHIRO
Energy Research Laboratory, Hitachi Ltd.
-
Kobayashi Yasuhiro
Energy Research Laboratory Hitachi Ltd.
-
Mitsuta Tooru
Energy Research Laboratory Hitachi Ltd.
-
Yamada Naoyuki
Energy Research Laboratory Hitachi Ltd.
-
MATSUDA Satoshi
Department of Ophthalmology, University of Tokushima School of Medicine
-
Wada Yutaka
Energy Research Laboratory Hitachi Ltd.
-
Yamada N
Energy Research Laboratory Hitachi Ltd.
-
Ueda Yoshikatsu
Systems Engineering Division Hitachi Ltd.
-
Matsuda S
Kyoto Univ. Kyoto Jpn
-
MITSUTA TOORU
Energy Research Laboratory, Hitachi Ltd.
-
Yoshizawa Junichi
Computer & Communication Research Center, The Tokyo Electric Power Co.
-
Mitsuta T
Hitachi Ltd.
-
MATSUDA SATOSHI
Computer & Communication Research Center, The Tokyo Electric Power Co.
-
MUTO SHOUICHI
Computer & Communication Research Center, The Tokyo Electric Power Co.
-
Yoshizawa Junichi
Computer & Communication Research Center The Tokyo Electric Power Co.
-
NONAKA HISANORI
Energy Research Laboratory, Hitachi, Ltd.
-
Nonaka Hisanori
Energy Research Laboratory Hitachi Ltd.
-
Muto Shouichi
Computer & Communication Research Center The Tokyo Electric Power Co.
-
KIGUCHI TAKASHI
Energy Research Laboratory, Hitachi Ltd.
-
Kiguchi Takashi
Energy Research Laboratory Hitachi Ltd.
-
KOBAYASHI YASUHIRO
Energy Research Laboratory, Hitachi, Ltd.
-
UMEGAKI Kikuo
Energy Research Laboratory, Hitachi Ltd.
著作論文
- A Knowledge Compilation Method Through Conversion of Symbolic Rules and Facts into Functions
- Design Verification of Sequential Control Circuits Based on Theorem-Proving Method
- A Knowledge Acquisition Method Based on a Multi-Attribute Utility Model
- A Theorem Proving System for Logic Design Verification
- Sensitivity study of fuel cost in extended burnup BWR core.