Generating Text with a Theorem Prover

Ivan I. Garibay |

Paper Details:


Year: 2000

Venue: ANLP | NAACL |