Fingerprint
Dive into the research topics of 'Acquisition of phrase correspondences using natural deduction proofs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Acquisition of phrase correspondences using natural deduction proofs
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Ǵomez, Daisuke Bekki
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
13
Citations
(Scopus)