ML Anthology

Nakanlshi, Masakazu

1 publications

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