LangPro: Natural Language Theorem Prover

Lasha Abzianidze |

Paper Details:

Month: September
Year: 2017
Location: Copenhagen, Denmark
Venue: EMNLP |