Proof Verbalization as an Application of NLG (1997)

Cached

Download Links

by Xiaorong Huang , Armin Fiedler
Venue:PROCEEDINGS OF THE 15TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI
Citations:44 - 10 self