| 99 | -- | 112 | Tomoyuki Uchida, Takayoshi Shoudai, Satoru Miyano. Parallel Algorithms for Refutation Tree Problem on Formal Graph Systems |
| 113 | -- | 121 | Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki. Mechanizing Explicit Inductive Equational Reasoning by DTRC |
| 122 | -- | 129 | Xiaoqing Wen, Kozo Kinoshita, Hideo Tamamoto, Hiroshi Yokoyama. Efficient Guided-Probe Fault Location Method for Sequential Circuits |
| 130 | -- | 137 | Eiji Fujiwara, Masaharu Tanaka. Defect-Tolerant WSI File Memory System Using Address Permutation for Spare Allocation |
| 138 | -- | 142 | Eiji Okamoto, Tomohiko Uyematsu, Masahiro Mambo. Permutation Cipher Scheme Using Polynomials over a Field |
| 143 | -- | 151 | Wongyu Cho, Jin H. Kim. Off-Line Handwritten Word Recognition with Explicit Character Juncture Modeling |
| 152 | -- | 162 | Mina Maruyama, Nobuo Tsuda, Kiyoshi Nakabayashi. A Rule-Embedded Neural-Network and Its Effectiveness in Pattern Recognition with III-Posed Conditions |
| 163 | -- | 173 | Ryotaro Kamimura, Toshiyuki Takagi, Shohachiro Nakanishi. Improving Generalization Performance by Information Minimization |
| 174 | -- | 183 | Figen Ulgen, Andrew C. Flavell, Norio Akamatsu. Geometric Shape Recognition with Fuzzy Filtered Input to a Backpropagation Neural Network |