M. Nogeta

1 paper in the IJCAI proceedings

IJCAI 1975

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

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

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings