A ‘Natural Logic’ inference system using the Lambek calculus
Anna Zamansky, Nissim Francez, Yoad WinterТом:
15
Мова:
english
Сторінки:
23
DOI:
10.1007/s10849-006-9018-x
Date:
October, 2006
Файл:
PDF, 725 KB
english, 2006