Authors Search About

Nagata, Morio

1 publications

IJCAI 1979 An Automatic Theorem Prover Generating a Proof in Natural Language Masakazu Nakanlshi, Morio Nagata, Kenji Ueda

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy