- Tytuł:
- Functional completeness in CPL via correspondence analysis
- Współwytwórcy:
-
Shangin, Vasilyi Autor
Jukiewicz, Marcin Autor
Petrukhin, Yaroslav Autor
Zakład Logiki i Kognitywistyki (Uniwersytet im. Adama Mickiewicza ; Poznań)
Leszczyńska-Jasion, Dorota Autor - Data publikacji:
- 2019
- Tematy:
-
Logika klasyczna
Rachunek sekwentowy
Funkcja boolowska
Automatyczne dowodzenie twierdzeń - Pokaż więcej
- Dostawca treści:
- Academica
Artykuł