ML Anthology
Authors
Search
About
Nishimura, T.
1 publications
IJCAI
1975
Gentzen-Type Formel System Representing Properties of Function and Its Implementation
T. Nishimura
,
M. Nakanishi
,
M. Nogeta
,
Y. Iwamaru