M. Nakanishi

1 paper in the IJCAI proceedings

IJCAI 1975

Gentzen-Type Formel System Representing Properties of Function and its Implementation

with T. Nishimura, M. Nogeta, Y. Iwamaru

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings