Acquisition of phrase correspondences using natural deduction proofs

Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Ǵomez, Daisuke Bekki

研究成果: Conference contribution