Proceedings

Masakazu Nakanlshi

1 paper in the IJCAI proceedings

IJCAI 1979

An Automatic Theorem Prover Generating a Proof in Natural Language
with Morio Nagata, Kenji Ueda
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards