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

Document Versions

Proof Verbalization as an Application of NLG –Xiaorong Huang, Armin Fiedler — 1997 — PROCEEDINGS OF THE 15TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI
Proof Verbalization as an Application of NLG –Xiaorong Huang, Xiaorong Huang, Armin Fiedler, Armin Fiedler — 1997 — Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI
Proof verbalization as an application of NLG –Xiaorong Huang, Armin Fiedler — 1997 — Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI