Skip to content
cs-conference-ranking.org

LangPro: Natural Language Theorem Prover.

Lasha Abzianidze

VenueA*EMNLP
Year2017
ProceedingsEMNLP (System Demonstrations)
DBLP recordconf/emnlp/Abzianidze17 ↗

Browse the full EMNLP paper archive.