Reiji Nakajima

Kyoto University Research Institute for Mathematical Sciences Kyoto

1 paper in the IJCAI proceedings

IJCAI 1979

Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms

with Michio Honda

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings