- Tytuł:
- Involutive nonassociative Lambek calculus : sequent systems and complexity
- Autorzy:
- Buszkowski, Wojciech. Autor
- Tematy:
-
Rachunek Lambeka
Problem P
Logika liniowa
Rachunek sekwentowy - Pokaż więcej
- Data publikacji:
- 2017
- Dostawca treści:
- Academica
Artykuł