Huang, Xiaorong

1 publications

IJCAI 1997 Proof Verbalization as an Application of NLG Xiaorong Huang, Armin Fiedler