| |
| 1999 | ||
|---|---|---|
| 4 | Allard M. Tamminga, Koji Tanaka: A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40(2): 258-272 (1999) | |
| 1998 | ||
| 3 | Koji Tanaka, Takenao Ohkawa, Norihisa Komoda: Case Based Approach to the Construction of a Coal Molecular Structure Model. IEA/AIE (Vol. 2) 1998: 547-556 | |
| 1996 | ||
| 2 | EE | Kazuo Kawakubo, Koji Tanaka, Hiromi Hiraishi: Formal Verification Of Self-Testing Properties Of Combinational Circuits. Asian Test Symposium 1996: 119-122 |
| 1995 | ||
| 1 | EE | Haruo Kobayashi, Takashi Matsumoto, Tetsuya Yagi, Koji Tanaka: Light-adaptive architectures for regularization vision chips. Neural Networks 8(1): 87-101 (1995) |
| 1 | Hiromi Hiraishi | [2] |
| 2 | Kazuo Kawakubo | [2] |
| 3 | Haruo Kobayashi | [1] |
| 4 | Norihisa Komoda | [3] |
| 5 | Takashi Matsumoto | [1] |
| 6 | Takenao Ohkawa | [3] |
| 7 | Allard M. Tamminga | [4] |
| 8 | Tetsuya Yagi | [1] |