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) |