- Tytuł:
- Refutations in wansings logic
- Autorzy:
- Skura, Tomasz
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Tematy:
-
Nelson's logic
nonmonotonic inference
decision procedures
refutation systems - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł