Masakazu Nakanlshi

According to our database, Masakazu Nakanlshi authored at least 1 paper in 1979.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1979

An Automatic Theorem Prover Generating a Proof in Natural Language.

Masakazu Nakanlshi, Morio Nagata, Kenji Ueda

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979