3551

LangPro: Natural Language Theorem Prover

저자 : Lasha Abzianidze 
학회 : EMNLP
발표 : 2017-09-09
태그 :