- CSB - MetaPress - Google - Bing - Yahoo
 | 1975 | |
|---|---|---|
| 1 |      | T. Nishimura, M. Nakanishi, M. Nogeta, Y. Iwamaru: Gentzen-Type Formel System Representing Properties of Function and its Implementation. IJCAI 1975: 57-64 |
| 1 | Y. Iwamaru | [1] |
| 2 | M. Nakanishi | [1] |
| 3 | T. Nishimura | [1] |