Natural Language Reasoning using Coq: Interaction and Automation

Stergios Chatzikyriakidis |

Paper Details:

Month: June
Year: 2015
Location: Caen, France
Venue: JEP/TALN/RECITAL |

Citations

URL

No Citations Yet

Field Of Study