Мультипликативная линейная логика
method
ID: multiplicativelinearlogic
Исходящие связи
| Связь | Целевая сущность | Тип | Действия |
|---|---|---|---|
| appliedIn | Компьютерная лингвистика | task | Просмотр |
| appliedIn | Клейкий язык | method | Просмотр |
| appliedIn | Категориальная грамматика | method | Просмотр |
| requires | Эффективные методы дедукции | method | Просмотр |