Proof Verbalization as an Application of NLG

Has publishing details pp. 965-972, 1997

Has title Proof Verbalization as an Application of NLG

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai97.html#HuangF97

Has where published IJCAI (2)

Has year 1997

Has author Xiaorong Huang +, Armin Fiedler +

Has identifier Proof Verbalization as an Application of NLG +

Categories Proceeding Paper +