ML Anthology

Ueda, Kenji

1 publications

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