A Model Generation Theorem Prover Handling Finite Interval Constraints
スポンサーリンク
概要
著者
-
Hasegawa Ryuzo
Dept.of Intelligent Systems Faculty Of Information Science And Electrical Eng. Kyushu Univ.
-
HAHNLE Reiner
Dept.of Computing Science,Chalmers Technical Univ.
-
SHIRAI Yasuyuki
Dept.of Intelligent Systems,Graduate School of Information Science and Electrical Eng.,Kyushu Univ.
-
Hahnle Reiner
Dept.of Computing Science Chalmers Technical Univ.
-
Shirai Yasuyuki
Dept. Of Energy Science And Technology Kyoto University
-
Shirai Yasuyuki
Dept.of Intelligent Systems Graduate School Of Information Science And Electrical Eng. Kyushu Univ.
関連論文
- Model Generation with Boolean Constraints
- A Model Generation Theorem Prover Handling Finite Interval Constraints
- Heat Transfer from a Flat Plate at One End of a Rectangular Duct Containing Pressurized He II(2) Transient Heat Transfer Caused by stepwise heat input
- Heat Transfer from a Flat Plate at One End of a Rectangular Duct Containing Pressurized He II(1) Steady-State Critical Heat Flux
- Transient Turbulent Heat Transfer for Heating of Water in a Short Vertical Tube
- Computational Study of Turbulent Heat Transfer for Heating of Water in a Vertical Circular Tube : —Influence of Tube Inner Diameter on Thickness of Conductive Sub-Layer—