- Tytuł:
- Combining logical and distributional methods in type-logical grammars
- Autorzy:
- Moot, R.
- Data publikacji:
- 2018
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Tematy:
-
type-logical grammar
Lambek calculus
theorem proving - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł