Morio Nagata

Faculty of Engineering , KEIO University Hiyoshi , Yokohama , 223 JAPAN

1 paper in the IJCAI proceedings

IJCAI 1979

An Automatic Theorem Prover Generating a Proof in Natural Language

with Masakazu Nakanlshi, Kenji Ueda

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings