Interual Optimization Method Using Logical Programing. Record of the 2000 KANSAI-Section Joint Convention of Institutes of Electrical Engineering. 2000. G11-10. G279
Self-Validating Numerical Methods for non-linear simultaneous ezuations. Record of the 2000 KANSAI-Section Joint Convention of Institutes of Electrical Engineering. 2000. G11-9. G278