- Tytuł:
- Proof Compression and NP Versus PSPACE II: Addendum
- Autorzy:
-
Gordeev, Lew
Haeusler, Edward Hermann - Data publikacji:
- 2022-01-07
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
graph theory
natural deduction
computational complexity - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki